Theory of Categories
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
Quantum Mechanics on deterministic basis,
Prediction of the Future,
Deterministic Quantum Mechanics
New genetic models, aimed to produce new kinds of life.
Partial groupoids, Semigroups, Finite axiomatizability,
Algebra, Mathematical Logic, Computer Science
Associate Professor of Algebra in 1997 for papers on Algebra.
Automated reasoning, Formal Language Theory, Voice Recognition,
Mathematical Foundations of Computer Science
Knowledge management, Artificial intelligence.
Associate Professor of Mathematics in 2002 for papers on
Mathematics and Computer Science.
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)
Machine for Questions and Answers (2006)
Mathematics Discovered by Computers
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
Discovery System for Medical Diagnosis