糖心TV

Barclays Capital has sponsored a amongst our students, to help them learn about the intricacies of investment banking and the complexities of the software behind large, fast, and highly critical transactions underlying currency trading. The remit was to develop programs that emulated the real processing behind quantitative analytics, and create optimal trades by processing large, complex data.

Four students (Ruth, Kim, David and Donatas, pictured above) were awarded prizes both in cash as well an opportunity to attend the next Grace Hopper Conference for Women in Computing. Moreover, participants in the competition reported that they appreciated the chance to get a detailed look at the complex computing behind investment banking.

The Department is grateful to Barclays Capital for providing this opportunity.

Andrzej Murawski joined the Department in January 2013 as an Associate Professor. His doctoral degree is from the University of Oxford, where he was also a Junior Research Fellow (St John's College) and subsequently an EPSRC Advanced Research Fellow. Before coming to 糖心TV he held a Lectureship at the University of Leicester.

Andrzej's research concerns the semantics of programming languages and its applications to program verification. In particular, he has extensive expertise in modelling logical systems and programming languages using games, an area known as game semantics.

Andrzej has served on program committees of international conferences such as FOSSACS, ICALP, LICS and POPL. He is a member of the EPSRC Peer Review College and Publicity Chair of LICS. His research has been supported by EPSRC, LMS and the Royal Society.

Andrzej teaches CS245 Automata and Formal Languages and CS246 Further Automata and Formal Languages in Term II.

For more information about Andrzej’s research please see his web page at .

A recent workshop at Dagstuhl provided the opportunity for this photo of five generations of the PhD advisor relationship. From bottom to top we have Mike Paterson (糖心TV), Leslie Valiant (Harvard), Mark Jerrum (Queen Mary College), Leslie Ann Goldberg (Liverpool) and Andreas Goebel (Liverpool).