Jesper Winsten
PhD Researcher | Search-Based Software Testing
Åbo Akademi University
I develop search-based optimization methods for testing cyber-physical systems against formal requirements.
About Me
I am a PhD researcher in Computer Science at Åbo Akademi University. I study search-based testing and falsification of cyber-physical systems.
I treat test generation as an optimization problem: select inputs, run the system, evaluate its outputs against requirements, and use the result to guide the next search. My work focuses on black-box systems whose internal implementation is unavailable to the tester.
Experience
PhD Researcher
Researching search-based optimization for testing cyber-physical systems. My work includes multi-requirement falsification, continuous requirement falsification, and explicit output coverage.
Machine Learning Engineer
Developed machine learning software for welfare technology under privacy, security, and GDPR constraints. One project used on-device pose detection to identify falls and unusual inactivity. Raw camera data remained on the device; it only sent alerts to caregivers.
Education
Doctor of Philosophy in Computer Science
Research focus: scalable, search-based falsification of multiple Signal Temporal Logic requirements for cyber-physical systems.
Master of Science in Computer Science
Double degree completed through the Nordic Master Programme in Intelligent Software Systems (NISS).
Åbo Akademi University
Degree: Computer Science
Main module: Computational Data Analytics
Reykjavik University
Degree: Computer Science
Main module: Intelligent Software Systems
Thesis: Deep learning approaches for ship detection from inshore and offshore imagery.
Bachelor of Science in Computer Science
Minor studies: Biochemistry.
Thesis: Utilization of connection sequences for connecting devices to fake Wi-Fi networks.