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, 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
[just me ;-)]




"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 and their meaning:
[German] Document in German   [English] Document in English   [Unclassified] Unclassified stuff   [Software] A piece of code
[Sc. Paper] Scientific paper   [Essay] Essay or similar   [Newspaper] Short stuff for newspapers   [Presentation] Talk/Slides
The icons are based upon work taken from the GNOME theme "Unofficial Tango" by Jones Lee. 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.35, Thu, 31 Jan 2013 23:05:02 +0100