Program Verification

Program Verification

The area of programming languages is focused on developing new methods for creating more secure, reliable, and efficient software, including new programming abstractions (e.g., Rust), program synthesis techniques (inducing programs from sketches or examples), program analysis (connected to automated reasoning), optimising compilers, type systems, symbolic reasoning, and many more. The area is especially suited for interdisciplinary research and connects well with topics in machine learning, neuro-symbolic reasoning, systems and networks, and others.

 

Faculty & mentors involved in this research area: