Furhter responsibilities

I'm responsible (partly together with colleagues) for the following accounts and software-packages.

• Software packages
  • Java and related packages
  • postgres data base
  • ocaml+ Coq and related software
  • statemate
  • esterel and estudio
• project accounts
• web pages of the chair