Arpit Sharma (Ph.D. RWTH Aachen Technical University, Germany)
Assistant Professor
Formal methods and model checking
+91 755 269 1289, 669 1289
Group Homepage

  • Postdoctoral Researcher, University of Florence, Italy.
  • PhD in Computer Science, RWTH Aachen Technical University, Germany.
  • Master of Science in Computer Science and Engineering, Technical University of Eindhoven, The Netherlands.
  • Master of Technology in Software Engineering, Manipal Institute of Technology, India.
  • Bachelor of Engineering in Computer Science, University of Rajasthan, India.

Professional Experience

  • Assistant Professor (July 2016 – Present), Department of Electrical Engineering and Computer Science, Indian Institute of Science Education and Research Bhopal, India.
  • M.S. Intern, Laboratory for Quality Software, Eindhoven, The Netherlands.
  • Project Assistant, Department of Computer Science and Information Systems, BITS Pilani, India.
  • Formal methods and specification languages
  • Stochastic model checking.
  • Abstraction techniques.
  • Model-based requirements and software engineering.
  • Model-based testing
  • Software certification
  • Erasmus Mundus Scholarship for PhD program in computer science.
  • Full scholarship (Philips, Eindhoven) for master's program in computer science.
  • Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes, ICTAC, Hanoi, Vietnam, October 2017.
  • Interactive Markovian Equivalence, EPEW, Berlin, Germany, September 2017.
  • Analysis of Markov Models via Generating Functions, CINA Workshop, Civitanova, Italy, January 2016.
  • Probabilistic Model Checking, Introductory Seminar, Florence, Italy, June 2015.
  • Layered Reduction for Abstract Probabilistic Automata, ACSD, Tunis, Tunisia, June 2014.
  • Layered Reduction for Modal Specification Theories, FACS, Nanchang, China, October 2013.
  • A Two Step Perspective for Kripke Structure Reduction, SOFSEM, Spindleruv Mlyn, Czech Republic, January 2013.
  • Weighted Probabilistic Equivalence Preserves omega-Regular Properties, MMB/DFT, Kaiserslautern, Germany, March 2012.
  • State Space Minimization of Markov Chains, Bad Neuenahr, Germany, November 2011.
  • Weighted Lumpability on Markov Chains, PSI, Novosibirsk, Akademgorodok, Russia, June 2011.
  • Weighted Lumpability on Markov Chains, ROCKS, Saarbrücken, Germany, March 2011.