Isabela Dramnesc

Isabela Dramnesc is an Associate Professor at the West University of Timisoara, Faculty of Mathematics and Computer Science, Department of Computer Science. Her research focuses on Automated Reasoning, Logic, Mathematical Theory Exploration, and Algorithm Synthesis.

• EU Erasmus+ projects: ARC (2019-2022, KA203 Strategic Partnerships) and AiRobo (2023-2026, KA220 Cooperation Partnerships).
• Teaching: Graph Theory and Combinatorics, Automated Theorem Proving, Algorithm Synthesis, and Logic Programming at bachelor's and master's levels.
• Publications: Two peer-reviewed articles in the Journal of Symbolic Computation (2015, 2019) on algorithm synthesis and automated reasoning for data structures.

Contact: isabela.dramnesc@e-uvt.ro