Informationstechnik kommt immer häufiger auch in Bereichen zum Einsatz, in denen es besonders auf die Verlässlichkeit eines Systems ankommt. Verlässlichkeit in der IT umfasst insbesondere die Aspekte Funktionale Sicherheit, Robustheit und Angriffssicherheit.
Seit 2002 bin ich im Bereich Verlässliche Systeme als Softwareentwickler tätig. Schwerpunkte meiner Tätigkeit sind die Übersetzung und Verarbeitung formaler Sprachen (Compilerbau) und der Einsatz von C in der Entwicklung funktional sicherheitskritischer, eingebetteter Systeme.