Hello! My name is Sophie Lathouwers, I’m currently working at TNO on topics related to Knowledge Graphs, Semantic Web, Ontologies and Software Development. Before starting at TNO, I worked on the topic of specifications in deductive verification (a specific program verification technique) as a PhD Candidate at the University of Twente.

I’m passionate about many things including, but not limited to, program analysis, tool usability, developer tools, software development, open science, sharing knowledge, security, and learning new things.

My free time has lately been spent running, reading, aerial acrobatics (silk, rope, hoop, hammock), knitting, sewing, and looking at cute animal pictures.