Current Research Projects

NUS-Singtel Cyber Security Research and Development Laboratory

Felicitous Computing Institute

Some Past Research Projects

Enhancing the Dependability of Complex Missions through Automated Analysis (funded by EOARD)

UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures (funded by EPSRC)

SENSORIA: Software Engineering for Service-Oriented Overlay Computers (funded by the European Commission):

PLASTIC: Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication (funded by the European Commission)

SIENA (Internet-scale event notification)

SensOS (architectural styles for embedded software, funded by DARPA)

DASADA (dynamic software architectures, funded by DARPA)


APP (an Annotation PreProcessor)

Last updated 17 January 2017