Regular biography
Perdita Stevens holds the Personal Chair in Mathematics of Software Engineering at The University of Edinburgh's Department of Computer Science. Her research focuses on the mathematical foundations of software engineering, with an emphasis on formal methods and their application to software development. Stevens is affiliated with the university's Computer Science department and maintains an active academic profile through her official website. Her work contributes to the advancement of rigorous software engineering practices through theoretical and applied research.
Scholar-generated biography
Perdita Stevens is a Professor of Mathematics of Software Engineering at the University of Edinburgh, with research interests in software engineering and theoretical computer science. Her work focuses on bidirectional model transformations, UML, and the integration of formal methods in software development. She has explored semantic issues in QVT, practical model-checking using games, and the application of observational mu-calculus to enrich OCL. Her research also addresses software performance engineering, systems reengineering patterns, and the modeling of recursive calls with UML state diagrams. Stevens has contributed to the development of tools like the Edinburgh Concurrency Workbench and has participated in Dagstuhl seminars on bidirectional transformations.