Section for Language-Based Technology

The section for Language Based Technology (LBT) have changed name to the Section for Formal Methods - for safe and secure systems

Contact

Ann-Cathrin Dunker
Team Leader for the Secretary Team
DTU Compute
+4545 25 96 79