- Formal Methods and Programming Languages Group - Predominantly works on research problems related to Concurrency control, Distributed Model Checking, Real Time Systems, Software and Systems Engineering, , Modeling of Web Services, Data Modeling and Visual modeling, Software Architectures, Formal Methods for VLSI, Evaluation of RMI protocols, Algorithm Synthesis from Domain Specific Languages, Term Unification, Type Inference, Renarration and Semantic Web, Browser-based security policies, E-Governance, Mathematical Computer Science and Pedagogical issues.
Reach out to Venkatesh Chopella (email@example.com) and Viswanath Kasturi (firstname.lastname@example.org) to join or to collaborate with this group.
Virtual Human Interaction Group - Predominantly works on research problems related to Usability Engineering – with focus on Web, Mobile, Virtual Reality and Augmented Reality Technologies, Human Computer Interaction – with focus of Quality of User Experience, User Interfaces, HCI based Requirements and Software Quality, Perception and Cognition – with focus on attention and user experience in personalized technologies. Below pictures are of Usability Lab operated by this research group which is designed to conduct Usability experiments on Mobile, Web and VR/AR applications with support of Observeration and Participant rooms.
Reach out to Raghu Reddy (email@example.com) and Priyanka Srivastava (firstname.lastname@example.org) to join or to collaborate with this group.
Software Engineering and HCI Group - Predominantly works on Empirical Software Engineering, Secure Software Engineering, Requirement Engineering, Software Quality, Software Development Waste, Enterprise Software Development with focus on emerging technologies like VR/AR, Blockchain, SE for AI and Knowledge Engineering.
Reach out to Raghu Reddy (email@example.com) to join or to collaborate with this group.