Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
Paper Logic, Algebra, and Geometry at the Foundation of Computer Science with Tony Hoare and João Ferreira.
Our paper Towards Handwritten Calculational Proofs was recognised as a Springer Nature 2019 highlights!
Are you a talented student or post-doc interested in pursuing a research career in Computer Science? Get in touch and join me in sunny Portugal!
Alexandra Mendes is an Assistant Professor at Departamento de Informática, University of Beira Interior, and a researcher at INESC TEC. She is also a member of the Formal Methods Teaching Committee and a a Fellow of The Higher Education Academy (HEA). Previously, she was a Lecturer at York St John University and later a Senior Lecturer at Teesside University. She completed her PhD at the University of Nottingham.
Her research focuses on innovative user interfaces for formal methods and mathematical approaches to software quality. Through her research she aims at encouraging a wider adoption of software verification by creating tools and methods that hide the complexities of verifying software. She is also interested on innovative and fun ways to teach Computer Science.
PhD in Computer Science
University of Nottingham, UK
BSc in Mathematics and Computer Science
Minho University, Portugal