Experience
Experience Home
Key Staff
Capabilities
Past Projects
|
Curriculum Vitae of Ralf Gerlich
| Name: | Ralf Gerlich |
| Year of birth: | 1981 |
| Current position: |
Software Engineer, Systems Administrator and
Technical Consultant at BSSE
|
| Contact: | ralf.gerlich@bsse.biz |
Education
| 2005- |
Ph.D. student at University of Ulm, Germany on the topic of directed random testing with flexible coverage criteria
|
| 2005 |
"Diplom-Informatiker" of University of Ulm, Germany; diploma thesis on "Size-Optimising Automatic Random Testcase Set Generation for Verification and Validation"
|
| summer 2003 |
preterm diploma of
Computer Science
|
| 2001-2005 |
studies of Computer
Science at the University of Ulm, Germany
|
| 1991-2000 |
grammar school
Bildungszentrum Markdorf, Germany
|
| 1987-1991 |
primary school
Stephan-Brodman-Schule Immenstaad, Germany
|
Civil Services
| 2000-2001 |
civil services at the office for environmental affairs at
Landratsamt Bodenseekreis (county administration)
|
Relevant Experience
| 1996- |
Software Engineer, Systems
Administrator and Technical Consultant at BSSE
|
Programming Languages
- C/C++
- Java
- Python, Perl, PHP, Tcl/Tk, various Shell-dialects (Bourne,
C-Shell)
- Ada
- BASIC
- various Assembler (Intel IA32, PowerPC, Sparc, Motorola
6502/6510)
Operating Systems
- UN*X(Solaris, GNU/Linux)
- Microsoft® Windows™, Microsoft® DOS™
- Mac OS 9, Mac OS X
Areas of Interest
- distributed systems (network architecture, safety and
security)
- design and implementation of compilers and codegenerators
- (distributed) realtime systems
- aspects and possibilities of increased efficiency and
quality by application of automated software engineering
- web-design
- mathematics, physics, spaceflight and avionics
Projects
| 2004- |
technical and methodological research for UML-to-ISG-Bridge |
| 2004- |
automated analysis of Ada83 sourcecode for automation of
validation & verification |
| 2003- |
automated generation of GUIs from XML specifications |
| 2003 |
design and implementation of ISGL, the ISG specification language
|
| 2002- |
automated generation of the complete software required for
hierarchical GUIs (Java) and C interfaces from C type declarations
|
| 2000-2002 |
development of a "Virtual User" for Macintosh platform covering
automated verification of GUIs (Tool: AutoPilot): proof-of-concept,
design and implementation of AutoPilot script-language
|
| 1998-1999 |
development of the ISG environment for automated and instantaneous
software generation |
| 1997- |
autonomous research and
development on an adaptible distributable hard-realtime-conforming
microkernel for use in fault-tolerant systems
|
| 1997-1998 |
CADIS (Call Data
Acquisition and Distribution Integrated System): fault-tolerant
distributed system for acquisition and processing of call data in
telecommunication systems
|
| 1996- |
system administration and maintenance for PC, Macintosh and Sparc,
DOS, MS-Windows, Solaris, Linux, Mac OS9 + OSX, peripheral hardware
(LAN, WAN), web applications
|
|