1973-1981
Theory of Categories
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 kinds of life.
1986-1997
Algebra, Mathematical Logic, Computer Science
Partial groupoids, Semigroups, Finite axiomatizability,
Rewriting systems.
Associate Professor of Algebra in 1997 for papers on Algebra.
1997-1999
Mathematical Foundations of Computer Science
Automated reasoning, Formal Language Theory, Voice Recognition,
Knowledge management, Artificial intelligence.
Associate Professor of Mathematics in 2002 for papers on
Mathematics and Computer Science.
1999-
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-
Mathematics Discovered by Computers
Machine for Questions and Answers (2006)
Computer-Generated Encyclopedia of Euclidean Geometry (2006)
"Discoverer" (Professor Sava Grozdev is the leader of the project since 2012)
Construction of a simple artificial biological entity with
tailored properties
Discovery System for Medical Diagnosis