Dexter Kozen presents the newest research on NetKat – University of Copenhagen

Forward this page to a friend Resize Print Bookmark and Share

Department of Computer Science DIKU > News > News 2015 > Dexter Kozen presents ...

18 March 2015

Dexter Kozen presents the newest research on NetKat

DIKU Talk

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