Oscar Slotosch studierte und promovierte am Institut für Informatik der TU München bei Prof. Broy im Bereich Formale Methoden. 1999 gewann er mit seinem Projektteam den 1. Preis auf der Formal Methods World Conferenz mit den entwickelten Verifikations-Werkzeugen. Im Jahr 2000 war er Mitgründer der Validas AG, die sich seit 2006 auf das Thema Werkzeugqualifizierung spezialisiert.
Newsletter abonnieren und informiert bleiben.abonnieren
