We use cookies on this site. By browsing our site you agree to our use of cookies. Close this message Find out more

Home > Computer Science home > News > Dr Johannes Kinder joins us as a Lecturer
More in this section News articles

Dr Johannes Kinder joins us as a Lecturer

Posted on 13/10/2013

Dr Johannes Kinder

Dr. Johannes Kinder joined Computer Science as a lecturer in September 2013. He holds a doctorate in
computer science from the Technische Universität Darmstadt and a Diplom
degree from the Technische Universität München, Germany. Before coming to
Royal Holloway, Johannes held a position as post-doctoral researcher
in the Dependable Systems Lab at EPFL in Lausanne.

Johannes' research touches on programming languages, security, and
systems.  His interests revolve mostly around automated program
analysis and making formal methods applicable to assessing and
improving the reliability and security of real world software. He
builds automatic tools for finding bugs in binaries, for generating
unit and integration tests, and for detecting malware based on
semantic descriptions.


Comment on this page

Did you find the information you were looking for? Is there a broken link or content that needs updating? Let us know so we can improve the page.

Note: If you need further information or have a question that cannot be satisfied by this page, please call our switchboard on +44 (0)1784 434455.

This window will close when you submit your comment.

Add Your Feedback