Language-Based Technology (LBT)

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
Secretary
DTU Compute
+45 45 25 96 79