Institute of Computer Languages
Compilers and Languages Group
Ioan Drăgan
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]