Anupam Das

A look into provability and proof techniques in logic systems.

Examining user experiences and developer challenges in VR safety measures.

Insights into parental concerns about children's VR safety and privacy.

A look into right-linear grammars and their logical implications.

Research merges regular expressions and fixed points for complex language definitions.