About
Hi! I’m Spyros Pavlatos and I am a second year PhD student at University of Pennsylvania advised by Rajeev Alur. I’m also a proud member of PLClub!
My research interests are focused around Programming Languages and Distributed Systems. More specifically, I am interested in verification techniques and programming abstractions for distributed applications.
Before joining Penn, I completed my undergraduate studies at National Technical University of Athens under the supervision of Kostis Sagonas. My undergraduate thesis was focused on developing a test suite for model checking Persistent Memory programs.
News
- [May. 23] I attended SSFT23 (Twelfth Summer School on Formal Techniques)!
- [Jan. 23] I attended POPL’23 as a student volunteer!
- [Jul. 22] I successfully presented my undergraduate thesis.
- [Apr. 22] I will be starting my PhD at University of Pennsylvania at fall!
Teaching
- CIS 5470 Software Analysis - Fall ‘23 University of Pennsylvania - Teaching Assistant
- Programming Techniques - Spring ‘21 National Technical University of Athens - Lab Assistant
- Intro to Programming - Fall ‘20 National Technical University of Athens - Lab Assistant