Programs145
Departments10
Professors686
46 professors
Alastair Donaldson
Computer Science
Formal verification for multicore softwaresoftware performance optimization
Alessio Lomuscio
Computer Science
Verificationassurance of AI-based systemsvalidation of computer vision systems
Dalal Alrajeh
Computer Science
Formal methodssoftware engineeringartificial intelligence for correct software
Francesco Belardinelli
Computer Science
Designingdeveloping safe AI systems by using formal methodsspecification