Stoppt die Vorratsdatenspeicherung! Jetzt klicken &handeln! Willst du auch an der Aktion teilnehmen? Hier findest du alle relevanten Infos
und Materialien:

My Personal Page: Jan Tobias Mühlberg


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

Me/Contact



Interests

  • Computer Science: software engineering and automated software verification, model checking, semantics of programming languages, reactive and synchronous programming languages, reactive control systems, real time syatems, program analysis and program abstraction, SMT solving, separation logic, memory models and heap abstraction, analysis of object code programs, security protocols, cryptography
  • Biology/Entomology: mainly 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.

Projects/Activities

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


Impressum
Jan Tobias Mühlberg, 2.41, Thu, 14 Jul 2016 00:11:36 +0200