Research Group

Computer-Aided Programming

We develop techniques and tools that exploit automated reasoning and large amounts of computing power to tackle challenging programming problems

Members

Projects