Anupam Das

Ein Blick auf Beweisbarkeit und Beweistechniken in logischen Systemen.

Untersuchung der Nutzererfahrungen und Entwicklerherausforderungen bei VR-Sicherheitsmassnahmen.

Einblicke in die Sorgen von Eltern über die Sicherheit und Privatsphäre von Kindern in der VR.

Ein Blick auf rechtslineare Grammatiken und ihre logischen Implikationen.

Forschung kombiniert reguläre Ausdrücke und Fixpunkte für komplexe Sprachdefinitionen.