Formal methods, Programming languages, Software engineering, and Trustworthy AI.

Sustainable computing, Efficient AI processing at edge and cloud, Compute-in-memory, RISC-V HW-SW ecosystem, probabilistic AI systems, Edge robotics, Next-gen computing

Scientific visualization, computational topology, topological data analysis, and their applications.