LUIS MARÍA FERRER FIORITI
I am a Ph.D student at the chair of Holger Hermanns since November 2010.
I was born in Buenos Aires, the land of Tango.
I studied computer science at Universidad
Nacional de Córdoba, one of the oldest universities in the Americas (401 years and counting).
I graduated as Licenciado en Ciencias de la Computación in March 2010.
probabilistic model checking
termination of probabilistic programs
partial order reduction
|Dependable Systems & Software Group||Department of Computer Science||Universität des Saarlandes|