-- Lecturer Ph.D. --

Teaching Welcome to Faculty of Mathematics and Informatics: Discover a lecture EN / RO
Research Automated Reasoning, Logic, Mathematical Theory Exploration, Algorithm Synthesis
Projects ARC: Automated Reasoning in the Class (EU Erasmus+ KA203 Strategic Partnerships for Higher Education)

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

Last update: 10.10.2022