Arpit Sharma

arpit.sharma at
Room 4232
Ahornstraße 55
D-52074 Aachen
+49 241 80 21250

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen. My research interests include:

    • Formal methods for probabilistic and stochastic systems
    • Abstraction techniques for probabilistic and stochastic systems
    • Compositional verification
    • Mathematical logic and automata theory
    • Requirements engineering and software certification

Presentations and Talks

  1. Conference Talk: Layered Reduction for Abstract Probabilistic Automata, Tunis, Tunisia, June 2014.
  2. Symposium Talk: Layered Reduction for Modal Specification Theories. Nanchang, China, October 2013.
  3. Poster Presentation: A Two Step Perspective for Kripke Structure Reduction, Špindlerův Mlýn, Czech Republic, January 2013.
  4. Conference Talk: Weighted Probabilistic Equivalence Preserves omega-Regular Properties, Kaiserslautern, Germany, March 2012.
  5. Group Workshop Talk: State Space Minimization of Markov Chains, Bad Neuenahr, Germany, November 2011.
  6. Conference Talk: Weighted Lumpability on Markov Chains, Novosibirsk, Akademgorodok, Russia, June 2011.
  7. Workshop Talk: Weighted Lumpability on Markov Chains, Saarbrücken, Germany, March 2011.

Reviewing Experience: I was an external reviewer for, amongst others, FORMATS 2014, TACAS 2014, FSEN 2013, ACC 2013, ATVA 2012, QEST 2012, FoSSaCS 2012, ICALP 2011.

Research Projects:
I participate(d) in the research projects ROCKS, SENSATION and India4EU.

Student Supervision

  1. Lisa Von Buttner
  2. Christoph Worreschk, Bachelor student
  3. Ian Larson, Bachelor student – University of Michigan (UROP)
  4. Vinh Tran, Bachelor student (Turing Seminar).
  5. Hariprasad Puthukkootil Rajagopal, Master student (Seminar)

Summer/Autumn Schools Attended

  1. Petri Net School, Tunis, Tunisia, June 2014.
  2. ROCKS Autumn School, Vahrn, Italy, October 2012.
  3. MoVeP Summer School, Aachen, Germany, June-July 2010.