Madalina Erascu
Ph.D. Research Institute for Symbolic Computation (RISC), Linz 2012
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.