Hi, nice to e-meet you, my name is Thanassis! A man in his time plays many parts, and I’m very fortunate to have been a husband, dad, founder and mentor. I am currently an Assistant Professor at the Department of Informatics at the University of Athens. If you want stellar education and a great environment consider joining us - as students or faculty!

I am also the founder of ForAllSecure, a cybersecurity company working on securing the world’s software, author of Mayhem, the fully autonomous cybersecurity system that won the DARPA Cyber Grand Challenge and later made it in the Smithsonian Museum of American History. In my past, I spent 5 beautiful years as a researcher at Carnegie Mellon University, getting my Ph.D and Master’s degrees in Electrical and Computer Engineering. Before that, I was an undergrad in the National Technical University of Athens where I got my Master’s and Bachelor’s degrees in Electrical and Computer Engineering.

Mission

Building better systems.

About Me

On a continuous search for truth. I love seeing familiar concepts taking new shapes when viewed from different angles. I value consistency and being on time. I prefer doing over talking, practice over theory.

What motivates me? Interesting challenges! Having spent close to two decades in academia, industry and operations I have become addicted to them :)

Would you like to meet or collaborate on a project? Get in contact with me! How? I’m sure you’ll find a way!

Teaching

• Introduction to Programming
• Introduction to Computer Security
• Advanced Topics in Program Analysis

Selected Publications

1. Enhancing Symbolic Execution with Veritesting
   • where: ICSE 2014
   • with: Alexandre Rebert, Sang Kil Cha and David Brumley
   • why: ACM Distinguished Paper Award
2. Unleashing Mayhem on Binary Code
   • where: IEEE Security & Privacy 2012
   • with: Sang Kil Cha, Alexandre Rebert and David Brumley
   • why: IEEE Security and Privacy “Test of Time” Award (2022)
3. All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution
   • where: IEEE Security and Privacy 2010
   • with: Edward J. Schwartz and David Brumley
   • why: Intro to key techniques (1000+ citations)

You can look up more of my publications on Google Scholar or DBLP.

Samples (in Greek!)

• How to write your CV
• How to write a cover letter (TBD)

Thesis Projects

My time is limited. If you would like to work with me on a thesis you’ll have to do a lot of the heavy lifting yourself. I will hold you to the highest standard. You will not be able to finish your thesis with a couple of months of work. Only come talk to me about a thesis if you’re willing to put in the work. It’s best if you already have an idea you are passionate about that also somehow relates to my expertise. If you are looking for ideas, take a look at some active projects and ideas.