Karl Meinke

Head of Division of Theoretical Computer Science (TCS).

Head of Computer Science Department (CS).

Responsible for Masters level education in software testing.

Research into machine learning (ML), explainable AI, 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