My Personal Page: Jan Tobias Mühlberg

contact | brief | publications | projects | friends | archive | disclaimer



My work and research interests are in software security and formal verification and validation of software systems, specifically in the field of embedded systems and low-level operating system components. I am particularly interested in security architectures for safety-critical embedded systems and for the Internet of Things. Currently I am exploring use-cases for embedded Protected Module Architectures and formal verification techniques that allow the secure deployment and use of distributed event-driven software components. Further fields of my interest cover abstraction techniques, model checking, decision procedures and embedded systems design, focusing on synchronous languages, correctness proofs and the application of automated (formal) testing techniques.
  • Keywords/Computer Science: embedded software, security, software engineering, automated software verification, model checking, semantics of programming languages, reactive and synchronous programming languages, reactive control systems, real time systems, industrial control systems, automotive computing, program analysis and program abstraction, SMT solving, separation logic, memory models and heap abstraction, analysis of object code programs, security protocols, cryptography
  • Biology/Entomology: I'm lacking the time to do much but I'm interested in the biology of beetles, specifically Chrysomelidae and Silphidae.
  • Hobbies: far too many -- I'm changing them from time to time
[Thanks to Chauveau Photography for the picture]

"Nach dem Aufstand des 17. Juni
Ließ der Sekretär des Schriftstellerverbandes
In der Stalinallee Flugblätter verteilen
Auf denen zu lesen war, daß das Volk
Das Vertrauen der Regierung verscherzt habe
Und es nur noch durch verdoppelte Arbeit
Zurückerobern könne. Wäre es da
Nicht einfacher, die Regierung
Löste das Volk auf und
Wählte ein anderes?"

-- Bertolt Brecht, "Die Lösung"

In brief: Research and Teaching

Check the archive for older material.

Papers, Presentations, Essays, etc.

Icons are taken from the "Gnome" project.
Check the archive for older material.


Check the archive for older material.

Friends, nice people, random links

Check the archive for archived friends and colleagues.

contact | brief | publications | projects | friends | archive | disclaimer

Jan Tobias Mühlberg, 2.46, Tue, 06 Feb 2018 17:55:35 +0100