Meine Tätigkeit innerhalb der Arbeitsgruppe liegt in der Erforschung neuer Techniken zur Formalisierung der natürlichen Sprache und der Verbindung der Erkenntnisse mit bereits existierenden Herangehensweisen. Darüber hinaus habe ich ebenfalls großes Interesse an exakten Methoden für Verifikation und Test konventioneller Schaltungen sowie Syntheseverfahren für Quantenschaltkreise.