Andreas Pavlogiannis Thesis Defense
Date
Friday, June 2, 2017 14:00 - 15:00
Speaker
Andreas Pavlogiannis (IST Austria)
Location
Big Seminar room Ground floor / Office Bldg West (I21.EG.101)
Series
Graduate School Event
Tags
Thesis defense
Host
Graduate School Office
Contact
"Algorithmic Advances in Program Analysis and Their Applications" Software verification is an important step towards failproof systems, yet notoriously difficult. The talk will give a brief exposition of several new algorithmic ideas on a range of standard verification tasks. The new algorithms improve over existing approaches, and support on-demand analysis with strong complexity guarantees. Experiments on prototype implementations reveal that the theoretical improvements are also realized in practice. =========== Andreas Pavlogiannis is a Ph.D. candidate in the Chatterjee group, working on formal verification and evolutionary game theory. He obtained a Master's degree from the University of California at Davis, and a Bachelor's degree from the University of Patras in Greece.