Anupam Das

Um olhar sobre a provabilidade e as técnicas de prova em sistemas lógicos.

Analisando as experiências dos usuários e os desafios dos desenvolvedores nas medidas de segurança em realidade virtual.

Insights sobre as preocupações dos pais com a segurança e privacidade dos filhos em VR.

Um olhar sobre gramáticas lineares à direita e suas implicações lógicas.

A pesquisa junta expressões regulares e pontos fixos pra definir linguagens complexas.