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 (23)
opencl10
formal-methods10
viper10
verification10
java10
security10
formal-verification10
concurrent9
spring9
spring-security9
spring-data9
spring-boot9
concurrency9
web-frontend9
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/project-euler
Jul 2017 - Oct 2021
Contributions:3 pushes, 1 branch in 4 years 3 months
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.