Bernd Holzmüller

Universität Stuttgart

Institut für Informatik (Lageplan des Informatikbaus)
Abteilung Programmiersprachen und Compiler (Raum: 2.140)
Breitwiesenstr. 20-22
D-70565 Stuttgart
+49-711-7816-375
Fax: +49-711-7816-380

 E-Mail: holzmuel@informatik.uni-stuttgart.de

Projects and Research Interests

• Flexible Type systems for Object-Oriented Languages
• Semantics of Object-Oriented Languages
• Design of Programming Languages
• Here are some publications
• Abstract of my PhD-thesis

Some Links concerning OO Research

• Researchers in OO Type Theory
• Object-Oriented Internet Resource Page
• Researchers in Programming Languages and Compilers
• Research Language Overviews
• Search Engines: Altavista, Yahoo, Metacrawler, MetaGer (Hannover)

Local Links

• AdaBasis - a library of reusable Ada software components and documents
• Department of Programming Languages and Compilers with Lectures
• Faculty Home Page, phone list and publications
• IfIbib and other libraries
• Programming Language Bibliography (clickable taxonomy)
• Personal Bookmarks

My Hobbies

• My family! Here are some pictures of my children.
• Playing the  is real fun!