Research:

• Formal Verification of Distributed System Protocols
• Sign Language Translation
• Swarm Robotics, ML and AI
• Ultralow bitrate video/voice transmission.

Development:

• Grid Computing & High Performance Computing for Basic Science
• International Collaboration on Grid Computing
• Computation Related to Physics Experiments
• Computer Network
• Accelarator Control