Computer Hardware / Software Systems - Programming Systems and Verification
Computational techniques are now a major innovation catalyst for all aspects of human endeavour. Our research aims to develop tomorrow’s information technology that supports innovative applications, from big data analytics to the Internet of Things. It covers all aspects of information technology, including energy efficient and robust hardware systems, software defined networks, secure distributed systems, data science, and integrated circuits and power electronics.
