Hoppa till huvudinnehållet

Karl Meinke

Profilbild av Karl Meinke

PROFESSOR, AVDELNINGSCHEF

Detaljer

Arbetar vid

TEORETISK DATALOGI

Adress
LINDSTEDTSVÄGEN 3, PLAN 5
Rum

Om mig

Head of Division of Theoretical Computer Science (TCS).

Prefect of Computer Science Institute (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 Ericsson and Karolinska Institutet (KI).

Find my publications onDBLP andGoogle 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

Mjukvaru pålitlighet (FDD3459), examinator, kursansvarig | Kurswebb

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