Skip to main content

MSc and Undergraduate Projects


Suitable for

MSc in Computer Science


Bernard Sufrin's most recent collection of detailed project descriptions can always be found at In addition to the projects described there, he is happy to discuss supervising projects in concurrent programming, user-interface design, programming language implementation, program transformation, and proof support.