Rastislav Lenhardt

News: Contact and Gallery are available now.

My current CV: cv_Lenhardt.pdf (143,5 kB)

Master's dissertation (Probabilistic Automata with Parameters): main.pdf (854,7 kB)

Bachelor's thesis (Composite Mathematical Games): Composite_games.pdf (438,8 kB)

Attending summer schools or conferences:

1st - 5th March 2010: Quantitative Model Checking PhD School, Copenhagen, Denmark

21st - 26th June 2010: 10th International School on SFM-10:QAPL, Bertinoro, Italy

5th - 11th September 2010: Computational Biology Summer School, Tatry, Slovakia

20th - 23rd September 2010: Games 2010 Workshop, Oxford, UK 

10th - 15th January 2011: Probability Winter School, Slovakia

Giving talks: 

27th March 2010: Mixed Strategies @ MaK (Mathematical Club), Zilina, Slovakia (pdf)

24th April 2010: Games and Probabilistic Verification @SOS conference, Oxford, UK (pdf)

My referees:

Dr James Worrell              Dr Rastislav Kralovic

Dr Stephan Kreutzer         Dr Joel Ouaknine 

Previous jobs:

s-IT solutions SK: www.sparkasse.at/sitsolutions 

 Semmle Ltd www.semmle.com/

My facebook profile:

I have been supported by: