Autorenportrait
Jens Bendisposto
Biografie
Jens Bendisposto arbeitet am Lehrstuhl für Softwaretechnik und Programmiersprachen der Heinrich Heine Universität Düsseldorf an der Entwicklung von Werkzeugen und Methoden für die Verifikation von Softwaresystemen mit Hilfe formaler Methoden. Seit zwei Jahren beteiligt er sich an dem durch die europäische Union geförderten Projekt Rodin (Rigorous Open Development Environment for Complex Systems), einer Entwicklungsumgebung für formale Methoden basierend auf Eclipse.
