Ruzica Piskac


Ph.D. École Polytechnique Fédérale de Lausanne (EPFL) 2011 Switzerland
Dissertation: Decision Procedures for Program Synthesis and Verification
Mathematics Subject Classification: 68—Computer science

Advisor 1: Viktor Kuncak

Click here to see the students listed in chronological order.

Hallahan, William T.Yale University2022
Judson, SamuelYale University2024
Luo, NingYale University2022
Santolucito, MarkYale University2020
Zhang, JialuYale University2023

According to our current on-line database, Ruzica Piskac has 5 students and 5 descendants.
We welcome any additional information.

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 173136 for the advisor ID.