- 👋 Hi, I’m @matifch
- 👀 I’m interested in the distributed systems and their analysis
- 🌱 I recently published a book on "Understanding Behaviour of Distributed Systems using mCRL2"
- 💞️ I’m looking to collaborate on research in Model-checking
- 📫 How to reach me? Write me at muhammad.atif@cs.uol.edu.pk
Full Professor at Computer Science Department, The University of Lahore, Pakistan.
-
The University of Lahore
- Lahore, Pakistan
- http://sites.google.com/site/matifch
- dratif199
Highlights
- Pro
Block or Report
Block or report matifch
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.