guedemma

Personal information


name: Matthias Güdemann


formal methods
safety analysis
security
optimization

History


6 years 37 weeks