[TYPES/announce] New MSc in Logic, Semantics, and Verification of Programs

Alexandra Silva alexandra.silva at ucl.ac.uk
Tue Jan 26 19:33:37 EST 2016

Dear all,

We are excited to announce a new one year MSc programme at University
College London (UCL). This new Master’s programme is unique in the UK and
one of the few in Europe bringing together deep theoretical subjects and
practical program and systems verification. You can find more details about
the programme on the website:


The new MSc is organized by the Programming Principles, Logic, and
Verification (PPLV) group.

Research in the PPLV group spans theory and practice, including logic,
semantics, language design, program analysis, program verification, systems
verification, systems modelling, compilation, and theorem proving.

We have outstanding connections with cutting-edge industry and excellent
connections with other groups at UCL, including Systems and Networks,
Information Security, and Software Systems Engineering.

Attached is the poster advertising the programme.

Best wishes,

Alexandra Silva
Programme Director
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160127/2d842597/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Marchant_A3 MScLogic4_Jan2016.pdf
Type: application/pdf
Size: 4389900 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160127/2d842597/attachment-0001.pdf>

More information about the Types-announce mailing list