Institute of Computer Languages
Compilers and Languages Group

Ioan Drăgan

Mailing Address: Compilers and Languages Group Institute for Computer Languages Vienna University of Technology Argentinierstrasse 8/ 4/ E185.1 A-1040 Vienna Austria Phone: +43-1-58801-185180 E-Mail: ioan at complang dot tuwien dot ac dot at idragan at ieat dot ro

---

I am a research assistant used to be part of the Institute of Computer Languages at Vienna University of Technology. Currently I work at IeAT Timisoara.


Research Interests:
My research interests are, but not limited to :

• Program Analysis;
• Satisfiability Modulo Theories;
• Automated Theorem Proving.

Publications:

• Ioan Dragan, Konstantin Korovin, Laura Kovacs, Andrei Voronkov: Bound Propagation for Arithmetic Reasoning in Vampire. SYNASC 2013 [download IEEE]
• Armin Biere, Ioan Dragan, Laura Kovacs, Andrei Voronkov: Experimenting with SAT Solvers in Vampire. MICAI 2014 [download Springe]
• Ioan Dragan, Laura Kovacs: Lingva: Generating and Proving Program Properties Using Symbol Elimination. Ershov Memorial Conference 2014 [download Springer]
• Ioan Dragan: First-order Theorem Proving for Program Analysis and Theory Reasoning Phd Thesis [download pdf]