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.