-- Associate Professor 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 2019-2022 (EU Erasmus+ KA203 Strategic Partnerships for Higher Education) AiRobo: Artificial Intelligence based Robotics 2023-2026 (EU Erasmus+ KA220 Cooperation Patnerships 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: 020

Last update: 15.12.2023