S.A.M. Lathouwers MSc (Sophie)

About Me

My research focuses on the correctness of software. The technique that I'm looking at is called deductive verification which requires the user to write specifications for a program. This requires a lot of time and knowledge and is therefore seen as a bottleneck in the verification process. I am trying to minimise this burden by looking into specification generation to automatically generate the specifications, so that the users don't need to write them.

I am also very interested in the application of formal methods to software security.


Engineering & Materials Science
Flow Control
Formal Specification
Social Sciences
Computer Science
Role Model


Armborst, L. , Lathouwers, S. , & Huisman, M. (2023). Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. In iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings (pp. 153-171). (Lecture notes in computer science; Vol. 14300). https://doi.org/10.1007/978-3-031-47705-8_9
Lathouwers, S. (2023). Exploring annotations for deductive verification. [PhD Thesis - Research UT, graduation UT, University of Twente]. University of Twente. https://doi.org/10.3990/1.9789036558464
Lathouwers, S. , & Zaytsev, V. (2022). Modelling Program Verification Tools for Software Engineers. In MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (pp. 98–108). Association for Computing Machinery. https://doi.org/10.1145/3550355.3552426
Lathouwers, S. , & Huisman, M. (2022). Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. In Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022 (pp. 69-79). Article 9796417 IEEE. https://doi.org/10.1145/3524482.3527652
Rubbens, R. , Lathouwers, S. , & Huisman, M. (2021). Modular Transformation of Java Exceptions Modulo Errors. In A. Lluch Lafuente, & A. Mavridou (Eds.), Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (pp. 67-84). (Lecture notes in computer science; Vol. 12863). Springer. https://doi.org/10.1007/978-3-030-85248-1_5
van Huizen, J. C. , Huisman, M. , Lathouwers, S. A. M. , Schaafstal, A. M. , & Stoelinga, M. I. A. (2020). Alice and Eve: a celebration of women in computer science. In J. van der Veen, N. van Hattum-Janssen, H-M. Järvinen, T. de Laet, & I. ten Dam (Eds.), Engaging, Engineering, Education: Book of Abstracts, SEFI 48th Annual Conference University of Twente (online), 20-24 September, 2020 University of Twente.
Lathouwers, S. , Everts, M. , & Huisman, M. (2020). Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach. In S. Furnell, P. Mori, E. Weippl, & O. Camp (Eds.), Proceedings of the 6th International Conference on Information Systems Security and Privacy: Volume 1: ForSE (pp. 784-795). SCITEPRESS. https://doi.org/10.5220/0009371207840795

Google Scholar Link

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands