Werner Gabrisch

Short Biography

Dr. Ing. Werner Gabrisch

Born in 1953

1975 Diplom-Mathematiker, TH Merseburg
1981 Dr. Ing., TH Merseburg

1975 - 1993 at TH Merseburg
now at Martin-Luther-University Halle, Institut für Informatik

Working areas:

• Software -Engeneering, Embedded Systems

    In the past:

• Simulation and Modelling of large scale systems
• Autonomous systems

Recent Work

• Abstract State Machine
• Model Checking
• Conputer Aided Verification

How you can reach me

Halle/Saale

Institut für Informatik, Von-Seckendorff-Platz 1

Telephon:

++49 0345 55 24741

Fax:

++49 0345 55 27033

E-Mail:

gabrisch@informatik.uni-halle.de