Theoretical Computer Science and Software Engineering

With the growing impact that Computer Science has in society and across the economy, there is increased demand for rigorous methods and techniques to model and verify key properties of software systems.