IMI - BAS

Featured Project

 

Virtual Math Classroom

Mascil

 

Library of IMI

Academic Personnel

Algebra and Logic Department

vcard
 
Algebra and Logic Department
Gateva-Ivanova, Tatiana
Professor, Ph.D.
+3592 979 2835
Block 8, Acad. Georgi Bonchev Str., 1113 Sofia, Bulgaria
Room 558
tatyana at aubg dot bg
 
 
Research Interests:
Algebra.
vcard
Goranko, Valentin
Algebra and Logic Department
Goranko, Valentin
Professor, Ph.D., Associated Member
+46 8 16 79 84
Stockholm University
valentin dot goranko at philosophy dot su dot se
 
 
Research Interests:
Logic in computer science, artificial intelligence, and multi-agent systems.
Personal website
vcard
Guelev, Dimitar
Algebra and Logic Department
Guelev, Dimitar
Associate Professor, Ph.D., department secretary
+3592 979 3834
Block 8, Acad. Georgi Bonchev Str., 1113 Sofia, Bulgaria
Room 507
gelevdp at math dot bas dot bg
 
 
Research Interests:
Temporal logic, probability logic, real-time systems, model checking, formal methods and theoretical computer science in general.
Personal website
Results 1 - 3 of 3