About
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
0Publications listed
Find Isabela Dramnesc elsewhere
Related Searches
You Might Also Like
- TTudor JebeleanJohannes Kepler University Linz · Professor
Adrian CrăciunWest University of Timisoara · Associate Professor
Mateus De Oliveira OliveiraUniversity of Bergen · Associate Professor- SStephan SchulzMax Planck Institute for Informatics · Professor
Sorin StratulatMax Planck Institute for Informatics · Associate Professor
Jasmin BlanchetteInria · Professor