Prof. Dr. Thomas Studer lehrt und forscht seit 2003 an der Universitat Bern. Er leitet mehrere Forschungsprojekte und ist Autor zahlreicher Fachartikel zu Themen der theoretischen Informatik und Logik. Vor seiner Tatigkeit an der Universitat Bern war Thomas Studer Software-Entwickler und Mitglied des Managements einer Softwarefirma. Dort war er unter anderem massgeblich an der Entwicklung von grossen Datenbanksystemen beteiligt.