Human-Centred Computing News
Andrzej Murawski joins the Department as a new Associate Professor
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 Warwick 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 http://warwick.ac.uk/amurawski/.
Five generations
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 (Warwick), Leslie Valiant (Harvard), Mark Jerrum (Queen Mary College), Leslie Ann Goldberg (Liverpool) and Andreas Goebel (Liverpool).
Warwick University 'top target' for graduate employers
The Telegraph shows that Warwick is the number one target for graduate recruitment by top employers.
'The Graduate Market in 2013' research reports that large, high profile UK employers are focusing on finding graduate recruits at a small handful of elite universities, headed by Warwick.
Professor Stephen Jarvis says:
"We are delighted with the news that Warwick is the most target university among the UK's top employers. The accolade highlight both the quality of Warwick students and the tremendous work done across the University to enhance the prospects and employability of our students. In Computer Science this kind of work is something that we view as integral to the future of our graduates, which is exactly why we pay so much attention to the academic standard and industrial relevance of all our courses."
The University has fared well in the past with a top ten placing in each of the previous five reports and leading the list for the first time is reflective of the investment being made in the future career paths of the students.