Copyright © 2004 BSSE.
All rights reserved.
Impressum Legal Notice

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

2009 "Dr. rer. nat." of University of Ulm, Germany in Computer Science on constraint-based software test data generation
2005 "Diplom-Informatiker" of University of Ulm, Germany; diploma thesis on "Size-Optimising Automatic Random Testcase Set Generation for Verification and Validation"

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++
  • Constraint Handling Rules
  • 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

  • automated, model-based software engineering (MBSE)
  • systematic requirements engineering
  • model-based software test (MBST/MBT)
  • automatic test, random testing
  • (distributed) realtime systems
  • theory and practice of constraint programming
  • design and implementation of compilers and codegenerators
  • distributed systems (network architecture, safety and security)
  • 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