I am a researcher and a teacher at the University College Dublin in the School of Computer Science and Informatics, formerly from Distributed Systems Research Group, Charles University. My research interests cover formal verification and parallel and distributed model checking, however I am interest in many other fields of software engineering and computer science.
I studied Electronic Computer Systems within 1994-1998 where I got an electrotechnical background. Then I graduated in Software Engineering from Faculty of Mathematics and Physics, Charles University and finished my postgraduate study in the Department of Software Engineering.
I like programming and I programmed a lot so far. I'm fluent in C, C++, Perl, PHP, Java, and x86, I'm perfectly familiar (although haven't written so much code yet) with Python, Ruby, and ECMAScript, and I'm able to read a lot of others. I don't feel stuck in one programming language.
Currently I'm involved in a big-data start up Logentries.
viliam.holubREMOVE@ucd.ie - I read emails regularly. If you want to talk to me in person, please send me an email first.