Dr. Falak Sher

Email

falak.sher@itu.edu.pk

Address

4th Floor, Arfa Software Technology Park, Ferozpur Road, Lahore.

Phone

+92 42-111-111-488 Ext. 6024

Research

I am an assistant professor at the CS Department of Information Technology University Punjab. I did my Ph.D from RWTH Aachen University, and postdoc from Fortiss GmbH (TUM University Munich). My research interests include:

  • Analysis of reactive, stochastic, real-time, and hybrid systems
  • Reduction techniques for probabilistic systems
  • Formal verification of software and hardware systems
  • Model checking, static analysis, abstract interpretation
  • Game theory
  • Computability and complexity theory
  • Mathematical logic
  • Modeling, verification and analysis of ¬†distributed protocols/contracts in blockchain transaction systems
  • Blockchain and cryptocurrencies

Publications

Falak Sher, Joost-Pieter Katoen. Modal Stochastic Games: Abstraction-Refinement of Probabilistic Automata}. Models, Algorithms, Logics and Tools (Larsen Festschrift)}, Volume 10460 of LNCS, Springer, 2017.
Falak Sher. Abstraction and Refinement of Probabilistic Automata using Modal Stochastic Games. Ph.D dissertation, RWTH Aachen University, 2015.
Falak Sher, Joost-Pieter Katoen. Tight Game Abstractions of Probabilistic Automata. Conference on Concurrency Theory (CONCUR), 2014.
Souymodip Chakraborty, Martin Strelec, Joost-Pieter Katoen, Falak Sher. Modelling and Statistical Model Checking of a Microgrid. Software Tools for Technology Transfer (STTT), pages 1-14, 2014.
Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata. Information and Computation}, 2013.
Souymodip Chakraborty, Martin Strelec, Joost-Pieter Katoen, Falak Sher. Modelling and Statistical Model Checking of a Microgrid. Workshop on Statistical Model Checking (SMC)}, 2013.
Falak Sher, Joost-Pieter Katoen. Compositional Abstraction Techniques for Probabilistic Automata. IFIP Conference on Theoretical Computer Science (TCS), Springer Berlin Heidelberg, pages 325-341, 2012.
Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. New Results on Abstract Probabilistic Automata. Applications of Concurrency to System Design (ACSD), IEEE, pages 118-127, 2011.
Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata. Verification, Model Checking and Abstract Interpretation (VMCAI), Springer Berlin Heidelberg, pages 324-339, 2011.
Muhammad Umar Janjua, Mehboob Yasin, Falak Sher, Kashif Awan, Irtaza Hassan. Clustered-enabled Java virtual machine. Cluster Computing, IEEE, pages 389-393, 2002.