|
General
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. |
Education | |
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
Abitur
|
1979 - 1983 |
Eduard-Mörike-Grundschule in Böblingen, Germany
|
Employment | |
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
|
Research | |
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.
Projects:
- Parallelization of SymC, a BDD-based symbolic simulator, using MPI.
- 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.
- 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.
|
Teaching | |
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:
- A graphical user interface for starting the automatic batch scanning
process of construction plans and for sending the resulting images to
a dedicated server.
- A server for classifying the scanned images and storing them in a document
management system.
- 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
Tools
- 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)
|
---|
Languages | |
|
German (native speaker), English (fluent), French (fair) |
Personal | |
Oct 13th, 2005 |
My son David is born. |
---|
Dec 4th, 1999 |
My daughter Hannah is born. |
Interests | |
|
Mountaineering, backpacking, design and photography,
sports (soccer, running, squash, snowboarding, cycling),
reading (modern fiction), my family. |
|