Dedicated to my teacher
Professor Dimiter Skordev
1973-1981
Theory of Categories
Charles Ehresmann
A Great Man and Mathematician
Research, aimed to develop some ideas of Charles Ehresmann.
Ph.D. in Mathematics in 1985,
for papers on Ehresmann's Category Theory
1981-1984
Deterministic Quantum Mechanics
Quantum Mechanics on deterministic basis,
Prediction of the Future,Quantum Microscope.
1984-1986
Genetics
New genetic models, aimed to produce new kind of life.
1986-1997
Algebra, Mathematical Logic, Computer Science
Partial groupoids, Semigroups, Finite axiomatizability,
Rewriting systems.Associate Professor in 1997 for papers on Algebra.
1997-1999
Mathematical Foundations of Computer Science
Automated reasoning, Formal Language Theory, Voice Recognition,Knowledge management, Artificial intelligence.
1999-2005
Software Development
HTML, CSS, XML, JavaScript, PHP, MySQL,Java, C/C++
Selected Educational Computer Programs:
Abacus (Smetalo) (Bulgarian) (2001)
Invoice for Electric Energy (Bulgarian) (2002)
Linear Systems (2003)
Inverse Matrices (2003)
Solving Triangles (2004)
Geometric Constructions (2004)
Coordinate Geometry (2005)
2006-
Computer-Generated Mathematics
Computer-Generated Encyclopedia of Euclidean Geometry (2006) Machine for Questions and Answers (2006)
Machine for Questions and Answers, Second Edition (2008)