Fast Software and Systems

This is a rather large project with several directions. The aim of this project is to extend the foundation of software engineering for the analysis, testing, debugging and synthesis of software by taking into account its non-functional properties. To know more about the topic, please take a look at our following publications: DATE-2019, DAC-2018, JSA-2016, SPIN-2015, EMSOFT-2014, FSE-2014, RTSS-2013.

People

Chundong Wang
Post Doc (PhD, NUS, Singapore)
Adrian Horga
PhD Student (Linköping University, Sweden)