Archive: Old Stuff

<<< back to main | contact | brief | publications | projects | friends | disclaimer

Me/Contact

• Nothing archived

In brief: Research and Teaching

• Topics for final year projects:
  • "Developing & Implementing a Property Specification Language for SOCA"; "Developing & Implementing a GDB Front-End for SOCA"; "SOCA GUI Development" (full description)
  • Older topics I might still be interested in: "Evaluierung der Praxistauglichkeit von Werkzeugen zur Software-Verifikation"; "Objekt-Code-Slicing zur Verifikation von Pointer-Programmen" (full description)
• Demonstrating and Teaching at the University of Bamberg, until January 2011:
  • Software Engineering, Compiler Construction, Requirements Engineering, Automated Verification, Programming in C
  • Course notes are available at Bamberg only
• Demonstrating and Teaching at the University of York, until May 2009:
  • Protocol Design and Validation, Requirements Engineering, Reactive Systems Design, Mathematics for Computer Science
  • Course notes are available at York only
• Teaching at the Fachhochschule Brandenburg, until October 2005:
  • WI-Propädeutikum zum Thema Linux (FHB/WI, Wintersemester 2005/06)
  • WI-Propädeutikum zum Thema LaTeX (FHB/WI, Wintersemester 2005/06)
  • Wahlpflichtfach "Sicherheitsmanagement in der IT" (FHB/WI, Sommersemester 2005)
  • Gastvorträge im Fach "Medienwirtschaft" (FHB/FBI, Sommersemester 2005)
  • Lehrangebote zur Schulkooperation mit dem OSZ "Alfred Flakowski" (FHB, Sommersemester 2005)
  • WI-Propädeutikum zum Thema LaTeX (FHB/WI, Wintersemester 2004/05)
  • Wahlpflichtfach "Sicherheitsmanagement in der IT" (FHB/WI, Wintersemester 2004/05)
  • Gastvorträge im Wahlpflichtfach "E-Government in der Praxis" (FHB/WI, Wintersemester 2004/05)

Papers, Presentations, Essays, etc.

	Document in German			Document in English			Unclassified stuff			A piece of code
	Scientific paper			Essay or similar			Short stuff for newspapers			Talk/Slides

• "Towards a Simulation-based Verification of Memory Safety Properties for Object Code Programs" -- PLASMA talk given on 22 February 2007: slides (pdf), abstract
• "Elliptische Kurven und Kryptographie" -- An introduction to Elliptic Curve Cryptography, given together with Arnd Zapletal on 21 December 2006. There are only slides for the first part of the talk. The second half of it was given by Arnd on the blackboard: slides pdf
• "Securing Your E-Mail" -- Yet another talk on cryptography and GnuPG, given on 17 October 2006: abstract, slides
• "Validating and Verifying Memory Safety for Concurrent Operating System Code" -- PhD Qualifying Dissertation, unfinished version: pdf
• "Programme aus Quellen" -- this workshop held by MaD and me on BLIT 2006 has a really strange title. However, related material can be found here.
• "Software Property Checking" -- a few slides for a presentation on software verification; held in the PLASMA meeting on 9 March 2006: pdf
• A not so short talk on LaTeX, 09. January 2006: LaTeX -- Belegarbeiten in schön
• I'm preparing a workshop for 22C3. The topic is "OSS: Reliability and Maintainability?" -- I'm going to provide some further material in advance of the event here.
• "Automated Verification of Operating System Code" -- slides for a literature review presentation held on 19 December 2005 in York: pdf
• "What have you designed today? -- Software Quality in Open Source Projects" -- slides for a presentation on an interesting part of one of my former research projects: pdf
• "Wird der Hochschulstandort Brandenburg unattraktiv?" -- an attempt to discuss the relation between the University of applied Sciences in Brandenburg an the city of Brandenburg on the example of the Semesterticket; published in Scheinwerfer 03/2005, October 2005: html pdf
• There's a new (German) paper and a corresponding set of slides showing what CIDAS is and how it works. It was written in July 2005: paper slides (both pdf)
• "Studentische Projekte: Freie Studenten für Freie Software" -- Es ist gemeinhin falsch zu schreiben, was man nicht machen soll. Aber es ist oftmals schwer, die Dinge anders auszudrücken. Erschienen mit vielen Rechtschreib- und Satzfehlern im Scheinwerfer 02/2005; Juni 2005: html pdf
• "Object Code-Near Software Verification" -- an approach on doing formal software verification slightly different from the usual way: pdf
• Keynote zum Brandenburger Linux-Infotag 2005, "Mit Freier Software die Welt verändern!", 23. April 2005: pdf
• Keynote zum Brandenburger Linux-Infotag 2005, "Warum Freie Software? Im Mittelstand?", 22. April 2005: pdf
• This isn't a paper or presentation at all. Some friends asked me to to write an empty but almost complete example for diploma thesis or more substantial seminar papers in LaTeX. Actually all I did was to remove the contents of my own diploma and filled it up with some nonsense. Hopefully it's of some use for them. Here we go: pdf view files tar.gz
• BraLUG-Vortrag im März 2005, "Kryptographie -- Eine Einführung", ein unglaublich kurzer und inhaltlich dementsprechend sehr ungenauer Vortrag. Aber manchmal scheint es einfach besser zu sein, die Mathematik wegzulassen: pdf
• Vortrag zur Brandenburg Clusternight im Januar 2005, "Aus Zahlen werden Bilder": pdf
• "Mementoes." -- a bunch of thoughts about privacy written for a bunch of people who don't care on the privacy of their own children at all: html
• "Kein Freibier!" -- some thoughts about Free Information and Free Education, published in Scheinwerfer 01/2005, January 2005: html pdf
• "Interview: Für 29.-- Euro nach Bologna" -- Interview mit Prof. Dr. Hoier, neuer Vizepräsident für Lehre und Studium an der Fachhochschule Brandenburg; erschienen im Scheinwerfer 01/2005, Januar 2005: pdf
• BraLUG-Vortrag im November 2004, "GNU/Linux -- Eine Einführung": pdf
• Der "Italienische Kerzenleuchter" -- Wahrheit oder Mythos? html
• Vortrag bei der IHK-Potsdam im November 2004, "Was bedeutet Linux für den Mittelstand": pdf
• "Interview: Evaluation der Lehre an der FHB" -- Interview mit Prof. Dr. Lüthy, ehemals Senatorin an der Fachhochschule Brandenburg; erschienen im Scheinwerfer 04/2004, September 2004: pdf
• "Interview: Er hat Jehova gesagt!" -- Interview mit Prof. Dr. Holl, dem ehemaligen Vorsitzenden des Senates der Fachhochschule Brandenburg; erschienen im Scheinwerfer 03/2004, Juni 2004: pdf
• Some slides about CIDAS used for several presentations since February 2004: german, english (both pdf)
• Diplomarbeit und Vortragsfolien, Mai 2004, "Konzeption und prototypische Umsetzung von Authentifizierungsverfahren und Kommunikationsschnittstellen für das Identity-Management-System CIDAS unter besonderer Berücksichtigung mobiler identifizierbarer Datenträger": task.pdf, diplom.pdf, coll-slides.pdf, coll-poster.pdf
• BraLUG-Vortrag im Dezember 2003, "OpenPGP": pdf
• BraLUG-Vortrag im Dezember 2003, "Kryptographie -- Eine Einführung", This set of slides is not exhaustive. I wrote it as an introduction for one of my presentation about e-mail security and OpenPGP. Therefore it only points out some basic points about cryptographic systems being used: pdf
• Belegarbeit Datensicherheit, WiSe 2003, "Viren und Würmer unter UNIX", Autoren: Hannes Seidel, Jan Tobias Mühlberg: pdf tex
• Belegarbeit Applikationen Intelligenter Systeme, WiSe 2003, "Erstellung einer Kompasskarte mit dem Pioneer II", Autoren: Jan Tobias Mühlberg, Hannes Seidel: pdf tex data
• "MUDs: Textorientierte Rollenspiele auf dem Computer", February 2002, I don't remember what I wrote this paper for...: pdf tex
• Belegarbeit Interaktive Dramaturgien, Drehbücher und Filme, WiSe2002, "Kartenentwurf für Caesar III -- Brendanburg": pdf tex map
• Belegarbeit Gesellschaftliche Aspekte der Informatik, SoSe2002, "Von Menschen, Tieren und Mülltonnen", This is only my part of the essay collection above. No idea, why I'm keeping a separate copy.: pdf tex
• Belegarbeit Gesellschaftliche Aspekte der Informatik, SoSe2002, "Kybernetik", Autoren: André Adam, Martin Krüger, Jan Tobias Mühlberg, Alexander Schulte, Hannes Seidel: pdf tex
• Belegarbeit Alternative Programmiersprachen, SoSe2002, "Affen und Gnus -- Implementierungen von Microsofts .NET-Framework unter GNU/Linux": pdf tex
• Belegarbeit Datenbankprogrammierung, SoSe2002: pdf tex sources
• Vortragsbegleitendes Material, WiSe 2002, "Virtual Private Networks", Autoren: Markus Dahms, Jan Tobias Mühlberg: pdf tex

Projects/Activities

• York Doctoral Symposium -- I was organising this in 2007 and 2008
• BraLUG -- Brandenburger Linux User Group e.V.
• YLUG -- York Linux User Group; same as the above but for my current working location.
• INNODES -- "Innovationsverhalten deutscher Software-Entwicklungsunternehmen"
• Within the project INNODES, a meta study on open source software has been developed. We provide access to the current state of the bibliography and annotations using a tool called BibDB The database can be accessed at http://innodes.fh-brandenburg.de/bibdb/.
• "Kultur machen" -- just lacking time... :-(
• Scheinwerfer -- Die studentische Zeitung an der FH-Brandenburg (there is a secondary website available)
• BLIT -- Brandenburger Linux-Infotag (annual event organised by the school of Computing and Media and the BraLUG).
• Brandenburg Clusternight -- not an annual event but we may repeat it in case we have something to calculate. We really thank the University of Applied Sciences in Brandenburg and the Institute for Computer Science at the University Potsdam for help and support.
• CIDAS -- Configurable Internet Directory and Authentication Service.

Friends, Nice People, Random Links

• Nothing archived

<<< back to main | contact | brief | publications | projects | friends | disclaimer