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

[table id=3 /]