Madalina Erascu

MathSciNet


Ph.D. Research Institute for Symbolic Computation (RISC), Linz 2012 Austria
Dissertation: Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms

Advisor 1: Tudor Jebelean
Advisor 2: Hoon Hong

No students known.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 176994 for the advisor ID.