Skip to main content

Jonathan Kochems

Personal photo - Jonathan Kochems

Jonathan Kochems

Doctoral Student

Leaving date: 14th May 2015


My broad interest lies in verification techniques for concurrent higher-order functional programming languages such as Erlang. Lately I have been working on reachability analyses for asynchronously communicating pushdown systems.

Selected Publications

View AllManage publications