Madasar is an Associate Professor at the University of Birmingham and a Guest Lecturer at the University of Oxford. His career has been defined by a commitment to ensuring that the complex systems powering our modern world are reliable and verifiable.
As Head of Employability and Head of Year in Industry in the School of Computer Science Birmingham, he manages strategic partnerships with global industry leaders, including Google, Accenture, and Goldman Sachs. Dr Shah also led the successful accession of the University to the GCHQ/NCSC 'CyberFirst' scheme, creating vital pathways for the next generation of cybersecurity professionals.
Madasar's academic journey began at the University of Birmingham, where he completed a PhD on automated test case generation for model transformations. This work addressed the critical challenge of validating the "compilers" of Model-Driven Engineering (MDE). Following his doctoral studies, he served as a Senior Researcher at the University of Oxford on the ALIGNED (H2020) and before that at The University of York on the MONDO (FP7) project.
Currently, his work focuses on AI-Assisted Formal Methods. He is developing "Verified-Vibe" applications, which leverage Large Language Models (LLMs) to generate formal specifications. This bridge allows non-experts to create high-assurance software where the code is proven to meet its specification.
Beyond research, Dr Shah is a passionate educator and academic leader. He is the creator of a state-of-the-art runtime visualisation tool used to help students build mental models of program execution.