ISABELA DRÃMNESC

-- Lecturer Ph.D. --

Welcome to my homepage!

Teaching
Research Automated Reasoning, Logic, Mathematical Theory Exploration, Algorithm Synthesis







West University of Timisoara
Faculty of Mathematics and Computer Science
Department of Computer Science
E-mail: isabela.dramnesc@e-uvt.ro
Room: 050B
Phone: (004)0256-592.195

Last update: 18.12.2018