Anupam Das

Una mirada a la demostrabilidad y técnicas de prueba en sistemas lógicos.

Examinando las experiencias de los usuarios y los desafíos de los desarrolladores en las medidas de seguridad de la realidad virtual.

Perspectivas sobre las preocupaciones de los padres sobre la seguridad y la privacidad de los niños en la realidad virtual.

Una mirada a las gramáticas lineales derechas y sus implicaciones lógicas.

La investigación une expresiones regulares y puntos fijos para definiciones de lenguaje complejas.