Roland Weiss


Name:Roland J. Weiss
Position:Working at ABB Corporate Research Germany
Interests: Software architecture and engineering, organization structures, project management, verification technology, programming languages and paradigms, generic programming, compiler construction, documentation.

Curriculum Vitae

1998 - 2003
Doctoral Candidate in Computer Science
Eberhard-Karls-Universität Tübingen, Germany
Computeralgebra Group
Wilhelm-Schickard-Institut für Informatik
January 2003: Doctorate in Computer Science
1992 - 1997
Diploma Candidate in Computer Science
Eberhard-Karls-Universität Tübingen, Germany
Wilhelm-Schickard-Institut für Informatik
December 1997: Diploma in Computer Science
1983 - 1992
Otto-Hahn-Gymnasium in Böblingen, Germany
1979 - 1983
Eduard-Mörike-Grundschule in Böblingen, Germany
December 2005 -
Team lead, scientist
ABB Corporate Research Germany, Ladenburg
Industrial Software Technologies
August 2003 - Nov 2005
Postdoctoral Researcher
Eberhard-Karls-Universität Tübingen, Germany
Computer Engineering Group
Wilhelm-Schickard-Institut für Informatik
January - July 2003
Postdoctoral Researcher
Eberhard-Karls-Universität Tübingen, Germany
Computeralgebra Group
Wilhelm-Schickard-Institut für Informatik
1998 - 2002
Research Assistant
Eberhard-Karls-Universität Tübingen, Germany
Computeralgebra Group
Wilhelm-Schickard-Institut für Informatik
2003 - Nov 2005
Joined the Formal Methods Group of the Computer Engineering Department at the University of Tübingen.
Group leader together with Thomas Kropf and Jürgen Ruf since October 2004.
Research focuses on formal verification techniques for hardware/software systems, like model checking based on BDDs, symbolic simulation and temporal logics.
  1. Parallelization of SymC, a BDD-based symbolic simulator, using MPI.
  2. Integrating verification tools into a common Integrated Verification Environment based on Eclipse with plugins. This involves calling back-end tools like model checkers, providing language specific editors and transformers, and graphical system modelers.
  3. Developing a temporal checker that allows checking temporal assertions in reactive systems. The current implementation is tailored towards SystemC, a C++ library and simulation environment for modeling HW/SW systems.
1998 - 2002
Doctoral research focusing on the implications of parametric polymorphism on compiler construction in the context of generic libraries.
Interested in programming languages and paradigms and their actual application to the development of large scale software systems. Special emphasize on how concepts as collections of requirements can help structuring systems and libraries.
For teaching activities, we designed and developed a web-based course information system (CIS) that handles the students' registration for courses, submission of excercises, grading, and related tasks.
Developing generic utility classes and libraries in C++, e.g. nested heterogeneous STL containers, logging and XML facilities.
2002 - 2003
  • State-of-the-art Debugging Methods for SW- and HW-Systems (Summer Term 2005)
  • Software Development with C++ (Winter Term 2004/2005)
  • Software Architectures and Product Line Development in Industrial Settings (Summer Term 2004)
  • Generic Libraries (Summer Term 2003)
  • Advanced C++ (Winter Term 2002/2003)
1998 - 2002
Courses assisted (research assistant)
  • Introduction to Computer Science (2000 - 2002)
  • Computer Algebra/Arithmetic Algorithms (2000)
  • Generic Programming in C++ (1999)
  • MIDI Programming (1998)
1994 - 1997
Courses assisted (teaching assistant)
  • Introductory Courses in Computer Science (Prof. Dr. Klaeren, Prof. Dr. Kuechlin, Prof. Dr. Loos)
  • Software Engineering (Prof. Dr. Klaeren)
International Experience
Sep - Oct 1998
Visiting scholar
Visited group of David R. Musser and Sibylle Schupp with Rüdiger Loos. Implemented a statement parser and translator to C++ for the generic programming research language SuchThat.
Industrial Work Experience
1999 - 2003
Sub Project Leader in Airbus project at European Aeronautical and Defense Systems (EADS), Hamburg, Germany.
T-Systems International GmbH, Stuttgart and Hamburg, Germany
System design and implementation, coordination of 4 men programming team, customer contact and deployment of software package at AIRBUS facility. Since summer 2001 consulting for extensions to the deployed software modules.
The software consists of three major modules:
  1. A graphical user interface for starting the automatic batch scanning process of construction plans and for sending the resulting images to a dedicated server.
  2. A server for classifying the scanned images and storing them in a document management system.
  3. A graphical interface for retrieving the stored construction plans and quality controling the associated images. Once checked, the plans are archived in a DB system. The application also allows basic image processing.
1998 - 1999
Software Engineer
debis Systemhaus GmbH (Daimler Chrysler IT-Services), Stuttgart, Germany
Extending and developing base libraries for client/server systems, special emphasize on document management systems. Introduced generic components based on the STL into the libraries.
IT Skills
Software Development
  • OO Programming and Design, UML, Design Patterns
  • Generic Programming, Functional Programming
  • Internet Technologies (HTML, XML, Protocols)
  • Client/Server Architectures
  • Compiler Construction
  • Formal Methods (Model Checking, BDDs, Temporal Logics, Automata Theory)
  • Specification Languages (CASL, OBJ, Tecton, ...)
  • Document Management Systems
Programming Languages
  • C/C++, Java, C#
  • Scheme
  • PHP
  • Assembler
  • Various scripting languages
  • Microsoft Visual Studio (6, .NET), Eclipse, KDevelop, Metrowerks Codewarrior, Visual Age
  • Rational Rose, Together
  • Unix system tools (lex, yacc, sed, vi, awk, make, ...)
  • Oracle, mySQL
  • Various revision control systems (CVS, MKS Source Integrity, Subversion, ...)
Operating Systems
  • Windows (NT, 2000, XP)
  • Unix (Linux, Solaris, AIX, HP-UX, FreeBSD)
German (native speaker), English (fluent), French (fair)
Oct 13th, 2005
My son David is born.
Dec 4th, 1999
My daughter Hannah is born.
Mountaineering, backpacking, design and photography, sports (soccer, running, squash, snowboarding, cycling), reading (modern fiction), my family.