Anupam Das

Uno sguardo sulla dimostrabilità e sulle tecniche di prova nei sistemi logici.

Esaminare le esperienze degli utenti e le sfide per gli sviluppatori nelle misure di sicurezza nella realtà virtuale.

Intuizioni sulle preoccupazioni dei genitori riguardo alla sicurezza e alla privacy dei bambini nella realtà virtuale.

Uno sguardo alle grammatiche lineari a destra e alle loro implicazioni logiche.

La ricerca unisce le espressioni regolari e i punti fissi per definizioni di linguaggi complessi.