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.