Sophie Lathouwers
Scientist Innovator
Enschede, Overijssel, Netherlands
Summary
👤
Senior🎓
Top SchoolSophie Lathouwers is a Scientist Innovator at TNO with 11 years of experience combining software engineering and data-driven research, following a PhD in Computer Science from the University of Twente focused on deductive program verification. She bridges formal methods and practical tooling—exploring program analysis, specification generation, developer tooling, and usability—to make complex verification techniques more accessible to practitioners. Her work spans ontologies, knowledge graphs, distributed systems, and trustworthy AI, reflecting a knack for turning theoretical insights into usable tools. Sophie’s background in cybersecurity and hands-on teaching informs a pragmatic approach to developer experience and open science, and she enjoys automating hard specification tasks that traditionally slow down development.
11 years of coding experience
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Twente
English, Dutch, French
Github Skills (27)
opencl10
concurrent10
spring-data10
viper10
verification10
java10
formal-verification10
parallel9
spring9
security9
spring-security9
formal-methods9
spring-boot9
concurrency9
openmp9
Programming languages (5)
Github contributions (5)
Sophietje/Verification-Tool-Overview
May 2021 - Feb 2023
Information about verification tools. Browse the data at https://slebok.github.io/proverb/
Contributions:2 reviews, 204 commits, 4 PRs in 1 year 9 months
program-verificationsecurityformal-verificationverificationbrowse
Sophietje/SFTLearning
Jul 2018 - Dec 2020
Testing the security of sanitizers by learning symbolic finite transducers
Contributions:1 review, 1 PR, 28 pushes in 2 years 5 months
transducerssymbolic-learningtestingsecurityfuzzing
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.