Anupam Das

Un aperçu de la prouvabilité et des techniques de preuve dans les systèmes logiques.

Examiner les expériences des utilisateurs et les défis des développeurs en matière de mesures de sécurité en VR.

Aperçus sur les préoccupations des parents concernant la sécurité et la vie privée des enfants en VR.

Un aperçu des grammaires à droite-linéaire et de leurs implications logiques.

La recherche fusionne les expressions régulières et les points fixes pour des définitions de langage complexes.