18 March 2015

Dexter Kozen presents the newest research on NetKat


On March 13th Guest Professor at DIKU Dexter Kozen visiting from Cornell University held a lecture on the newest breakthroughs in the development of NetKat, a high-level language for programming networks. Here you can watch a video of the whole lecture.

Dexter Kozen is visiting DIKU for a period of half a year to perform research within the logic of programming languages and collaborate with Professor Fritz Henglein.

At a recent DIKU Talk Dexter held a lecture on NetKat.

See the presentation here

Pictures from the lecture

DIKU’s Professor Fritz Henglein introduces Dexter Kozen

Dexter Kozen talks about NetKat