FM 2019 Invited Speakers

Erik Poll
Erik Poll is Associate Professor at the Digital Security group at Radboud University in Nijmegen. Here he has carried out applied security research into smartcards, payment systems, security protocols and smart grids, and investigated the use of formal methods to support such security analyses, especially to analyse the software implementing the protocols involved. Earlier he worked on the verification of object-oriented programs, especially for Java and using the specification language JML.
June Andronick
June Andronick leads the Trustworthy Systems group, world-leading in verified operating systems software, known worldwide for the formal verification of the seL4 microkernel. She is a Principal Research Scientist at Data61|CSIRO, and conjoint Associate Professor at UNSW Sydney, Australia. She was recognised in 2011 by MIT’s Technology Review as one of the world’s top young innovators (TR35). She previously worked in industry for the smart-card manufacturer Gemalto in Formal Methods research.
Shriram Krishnamurthi
Shriram Krishnamurthi is a Professor of Computer Science and an Associate Director of the Executive Master in Cybersecurity at Brown University. With collaborators and students, he has created several influential systems and written multiple widely-used books. He also co-directs the Bootstrap math-and-computing outreach program. For his work he has received SIGPLAN’s Robin Milner Young Researcher Award, SIGSOFT’s Influential Educator Award, SIGPLAN’s Software Award, and Brown’s Henry Merritt Wriston Fellowship for distinguished contribution to undergraduate education. He has authored over a dozen papers recognized for honors by program committees. He has an honorary doctorate from the Università della Svizzera Italiana.


FMTea 2019 Invited Speaker

Carroll Morgan
Carroll Morgan was at the University of Oxford in the 1980-90’s; since 2000 he has been at the University of New South Wales and in the Trustworthy Systems Group of CSIRO’s Data61 in Sydney. He is the author of ‘Programming from Specifications’ (Prentice-Hall 1990,4,8), of ‘Abstraction, Refinement and Proof for Probabilistic Systems’ (Springer 2005, with Annabelle McIver), and of ‘The Science of Quantitative Information Flow’ (Springer 2019 to appear, one of six authors). His current interest is refinement-based techniques for security-respecting program development, with a particular emphasis on source-level reasoning.


HFM 2019 Invited Speaker

Mark Priestley
After a career as a programmer and lecturer in software engineering, Mark Priestley is now an independent scholar of the history and philosophy of computing with a particular interest in the early history of programming. His publications include the books A Science of Operations and ENIAC in Action (coauthored with Thomas Haigh and Crispin Rope). His most recent book, Routines of Substitution (Springer, 2018), is a study of John von Neumann’s work in software development in the mid-1940s. Read more at


RPLA 2019 Invited Speaker

Robert Glück
Robert Glück is a Professor of Computer Science at the University of Copenhagen. His main research interests are programming languages and software systems. His current research focus is on reversible computing, program generation, and metaprogramming. He has chaired and edited the proceedings of several conferences and workshops in North America, Europe and Asia. Robert Glück has been the principle investigator of a number of research awards and projects.