Research is conducted to extend the breadth, comprehensiveness, and scope of automated approaches for extracting meaningful information from large bodies of data such as bioinformatics, biomedical data, data warehousing and counterterrorism. Applications include automated risk assessment, robot swarms, combinatorial optimization, logistics, time-series analysis, pattern recognition and search. Studies are made to design algorithms and software for ensuring security, reliability, responsiveness, and correctness of embedded systems, mobile applications, automotive systems, signal processing methods and fault-tolerance. 

Thrust Area Leader: