|
|
Who am I?
I am a former PhD Student (graduated in March 2006) at BRICS,
University of Aarhus, Denmark. I started the
studies in August 2002 under the supervision of
Ulrich Kohlenbach.
Previously, I studied at the
Department of Mathematical Logic and Applications at the
University of Sofia, where I graduated as a Master of Science in
November 2001.
Reseach
I am currently working in the following fields:
-
computable analysis,
-
proof theory and proof mining,
-
applications of mathematical logic in computer science
The project in which I am most seriously involved at the
moment is the definition and implementation of RealLib, a new low-type model for real
number computations and functions. Details on it can be found
here.
Publications
-
Interval Arithmetic using SSE-2
(final version in Lecture Notes in Computer Science, Volume 5045 (2008), pp. 102-113)
-
Topics in the Theory and Practice of
Computable Analysis
(dissertation)
-
The Basic Feasible Functionals in Computable
Analysis
(final version in Journal of Complexity, Volume 22 (2006), pp. 909-917)
-
RealLib: An Efficient Implementation of Exact Real Arithmetic
(final version in Mathematical Structures in Computer Science, Volume 17, Issue 1, pp. 81-98)
-
Complexity and Intensionality in a Type-1
Framework for Computable Analysis (final version in Lecture Notes in Computer Science,
Volume 3634 (2005), pp. 442-461)
-
Rates of convergence of recursively defined sequences
(in Proceedings of the 6th Workshop on Computability and Complexity in Analysis (CCA 2004),
Electronic Notes in Theoretical Computer Science, Volume 120 (2005), pp. 125-133)
-
Bounds on Iterations of Asymptotically Quasi-Nonexpansive
Mappings (with
Ulrich Kohlenbach
, in Proceedings of the international conference on Fixed Point Theory and
Applications, Valencia 2003, pp. 143-172, Yokohama Publishers 2004)
-
A two-layer approach to the computability and complexity
of real functions (conference version, in Informatik Berichte 302 -
8/2003, Fernuniversitaet in Hagen)
Contact info
e-mail: barnie@brics.dk
Personal
The Winamp TV plugin for TV
Tuner cards.
|