Software Modeling Verification (SMV) Lab
Welcome to the Software Modeling and Verification (SMV) Lab.
Equipped with advanced tools and platforms including model checkers, simulation environments, and verification frameworks, the SMV Lab is at the forefront of formal methods and real-time systems research. Harnessing interdisciplinary expertise in computer science, software engineering, and automation, the lab specializes in model-driven engineering, formal verification, timed automata, and software simulation. With a focus on safety-critical systems, defense applications, and intelligent automation, the SMV Lab leads the way in ensuring reliability, optimizing system design, and advancing trustworthy software solutions for complex real-world challenges.
PI’s Profile
|
|
Engr. Dr. Sidra Sultana is an accomplished academic and researcher in the field of Software Engineering. She graduated as a medalist in her Software Engineering degree, demonstrating consistent top performance throughout her studies. She later pursued her PhD at the Military College of Signals, National University of Sciences and Technology (NUST), where she specialized in the Automation of Software Modeling and Verification in Real-Time Systems. |
She successfully completed her doctoral degree with an exceptional 4.0/4.0 CGPA, reflecting her deep expertise and scholarly rigor. She has also contributed to capacity building and training, serving as the Principal Investigator (PI) of the Programming Module in the SAMI Training Program 2023, where she successfully designed and delivered specialized content for professional development. Currently, she is the Principal Investigator of the Software Modeling and Verification Lab at SINES, where she leads research projects, mentors graduate students, and collaborates with academic and industrial stakeholders to advance innovation in software automation and verification.
 |
Dr. Nazia Perwaiz is an AI and computer vision specialist whose work bridges multimodal data analysis, predictive modeling, and real-time visual analytics across healthcare, surveillance, remote sensing for precision agriculture and environmental monitoring. She currently serves as an Assistant Professor in the Department of AI and Data Science at NUST-SEECS, Pakistan, and is also an External Affiliate Member at the University of Illinois, Chicago, USA, where she collaborates on AI-driven healthcare solutions. |
Expertise/Capabilities of Lab
- Software Modeling
- Software Simulation
- Software Verification
- Software Quality and Assurance
- Person Re-identification
- LLM based recognition
Projects
|
Human Resource
Typical Enrollment of lab researchers: 5-6 researchers
Contact Us
Dr Sidra Sultana
Email: [email protected]
Contact No.: 03345355238