ISABELA DRÃMNESC

-- Lecturer Ph.D --

Welcome to my homepage!

Teaching
Research Automated Reasoning, Logic, Mathematical Theory Exploration, Algorithm Synthesis
Events: SYNASC 2017 (21-24 September, Timisoara, Romania)




West University of Timisoara
Faculty of Mathematics and Computer Science
Department of Computer Science
E-mail: isabela[dot]dramnesc[dot]@e-uvt[dot]ro
Office: 050B (ground floor)
Phone office: 004 0256 592 195

Last update: 16.05.2017