This is what I do

I was asked to introduce myself to the lab in an email.

Pavol wants to contribute towards making computer programs, be it operating systems or e-commerce applications , more secure. His first plan was to solve the problem by somehow making the whole of humanity realize that all the lessons from the kindergarten are true – stealing is bad, cheaters only cheat themselves, and eavesdropping is not polite, to say the least. Once he understood that this task might just be impossible, Pavol a) grew more cynical , and b) started his research into algorithmic methods for verification of confidentiality and other security properties. Pavol is a PhD student at the University of Pennsylvania. He is from Bratislava, Slovakia.