Loading...
 

Research topics

  • formal methods
  • robotics research
  • software analysis & design
  • constraint solving
  • machine learing & AI

Selected projects

  • SNR - Scrub Nurse Robot project
  • DTRON - Distributed Testing Realtime systems Online
  • Roboswarm(external link)

Academic topics