Applying mathematical techniques for specification, development, and verification of software systems to ensure correctness and reliability.

Applying game design principles and mechanics to non-game contexts to enhance user engagement, motivation, and learning outcomes.

Researching Human-Computer Interaction to design intuitive, accessible, and effective user interfaces and interaction paradigms.

Developing software solutions for Internet of Things ecosystems, including device interconnectivity, data processing, and system integration.

Innovating in language design, semantics, compilers, and runtime systems to enable safer, more expressive, and efficient software development.

Exploring the intersection of software engineering and machine learning to build more intelligent, adaptive software systems.

Engineering systems that can modify their behavior automatically in response to changes in operating environments and requirements.

Analyzing software artifacts and processes to gain insights for improving software quality, team productivity, and development workflows.

Developing methodologies and tools to assess, measure, and improve the reliability, performance, and security of software systems.

Investigating approaches to create software that is environmentally sustainable, resource-efficient, and maintainable over extended periods.

Building immersive, interactive virtual laboratory environments for education and research that simulate real-world scenarios and experiments.

Exploring virtual and augmented reality technologies to create immersive interfaces and environments for various software applications.