Karl Meinke

Former Head of Computer Science Department (CS) 2021-2025.

Former Head of Division of Theoretical Computer Science (TCS) 2018-2025.

Responsible for Masters level education in software testing.

Research into machine learning (ML),  ML for software testing, safety critical systems, embedded systems, autonomous driving, ML for digital pathology. Machine learning on graphs. Current research partners include Karolinska Institutet (KI).

Find my publications on DBLP and Google Scholar.

Here are some recent online presentations (films) hosted by KTH Play

Active Machine Learning to Test Autonomous Driving (NEXTA21 Invited talk)

Machine Learning Properties of Programs