Keynotes

FormaliSE 2027 is pleased to welcome Abhik Roychoudhury and Anastasia Mavridou as keynote speakers.

Abhik Roychoudhury Provost's Chair Professor, National University of Singapore (NUS) Bio Abhik Roychoudhury is Provost's Chair Professor of Computer Science at the National University of Singapore (NUS), where he leads the Trustworthy and Secure Software (TSS) research group. His research interests span software testing and analysis, program repair, software security, trustworthy systems, and AI for code. His work has contributed to the foundations and practical adoption of automated program repair, symbolic execution, and fuzz testing. More recently, his research has focused on trustworthy AI agents for software engineering, including AutoCodeRover, an agentic AI approach for software development. His research has received several distinctions, including the ICSE Most Influential Paper Award and the IEEE TCSE New Directions Award. He is an ACM Fellow and has served the software engineering community in several leadership roles. He currently serves as Editor-in-Chief of ACM Transactions on Software Engineering and Methodology (TOSEM).

Anastasia Mavridou Senior Research Scientist, KBR Inc. / NASA Ames Research Center Bio Anastasia Mavridou is a Senior Research Scientist at KBR Inc. at NASA Ames Research Center and the Technical Lead of FRET, NASA's open-source framework for transforming structured natural-language requirements into precise, formally analyzable specifications. Her research lies at the intersection of requirements engineering, formal methods, and the verification and validation of safety-critical systems. She develops methods and tools for specifying and assuring complex aerospace and autonomous systems, including approaches based on formal analysis, model checking, runtime monitoring, and requirements formalization. She received her Doctor of Science in Computer Science from EPFL, where she worked with Joseph Sifakis and Simon Bliudze, and subsequently conducted postdoctoral research at Vanderbilt University's Institute for Software Integrated Systems.