Upcoming Talks

Ist logo

Andreas Pavlogiannis Thesis Defense

Date: Friday, June 02, 2017 14:00 - 15:00
Speaker: Andreas Pavlogiannis (IST Austria)
Location: Big Seminar room Ground floor / Office Bldg West (I21.EG.101)
Series: Thesis defense
Host: Graduate School Office
Contact: CHAN May
Lab building west seminar room


"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.
Qr image
Download ICS Download invitation
Back to eventlist