About me

I'm Stefano Pessotto, a CS student currently pursuing a Master of Science in Computer Science (curriculum Algorithms and Automated Reasoning) at the University of Udine. I'm currently looking for a PhD position. My research interests and experiences are listed in my academic CV, feel free to email me if you're interested!

My main interests are:

• Algorithms, Automata theory, and Program verification
• Cybersecurity, with a focus on Web Security
• Programming
• Linux and server systems
• Fountain pens
• My cats (Lana, Luna, and Lia)

I am member of the academic team of (ethical) hacking MadrHacks, with whom I regularly compete in CTFs.

I am a member of the Quality Assurance Commission for the university department.

Random stuff

• My dotfiles
• A presentation I made on Fagin's Theorem (Italian)
• The best playlists made by a friend of mine
• An introductory seminar on web security I made
• A presentation I made on Safety and Liveness (Alpern, Schneider 1986)