Hoppa till huvudinnehållet
Till KTH:s startsida

Karl Meinke

Profilbild av Karl Meinke

Professor, avdelningschef

Detaljer

Arbetar vid

TEORETISK DATALOGI

Adress
LINDSTEDTSVÄGEN 3, PLAN 5
Rum

Om mig

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


Kurser

Examensarbete inom datalogi och datateknik med inriktning mot ICT innovation, avancerad nivå (DA258X), examinator | Kurswebb

Examensarbete inom datalogi och datateknik med inriktning mot inbyggda system, avancerad nivå (DA248X), examinator | Kurswebb

Programvarutillförlitlighet (DD2459), examinator, kursansvarig | Kurswebb