ECBS 2023
Mon 16 - Wed 18 October 2023 Västerås, Sweden
Muhammad Naeem

Registered user since Thu 5 Oct 2023

Name:Muhammad Naeem

I am a passionate PhD researcher with expertise in formal verification, model checking, and strategy synthesis. I have more than eight years of experience in research, teaching and supervision of student projects. I received my master’s degree in Computer Science from the University of Lahore, Pakistan, and served as a lecturer there from 2015 until September 2019.

Affiliation:Aalborg University
Research interests:Formal Verification, Statistical Model Checking, Strategy Synthesis


Show activities from other conferences

ECBS 2023-profile
View general profile