Skip to main content

Karl Meinke

Profile picture of Karl Meinke

PROFESSOR, HEAD OF DIVISION

Details

Telephone
Address
LINDSTEDTSVÄGEN 3, PLAN 5
Room

About me

Head of Computer Science Department (CS).

Head of Division of Theoretical Computer Science (TCS).

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


Courses

Degree Project in Computer Science and Engineering, specialising in Embedded Systems, Second Cycle (DA248X), examiner | Course web

Degree Project in Computer Science and Engineering, specialising in ICT Innovation, Second Cycle (DA258X), examiner | Course web

Software Reliability (DD2459), examiner, course responsible | Course web