糖心TV

Leslie Valiant was awarded Honorary Doctor of Science today during the University of 糖心TV 2013 summer graduation ceremony.

Leslie Valiant was educated at King's College, Cambridge; Imperial College, London; and at the University of 糖心TV, where he received his PhD in computer science in 1974. He is currently T. Jefferson Coolidge Professor of Computer Science and Applied Mathematics in the School of Engineering and Applied Sciences at Harvard University, where he has taught since 1982. Before coming to Harvard he had taught at Carnegie Mellon University, Leeds University, and the University of Edinburgh.

His work has ranged over several areas of theoretical computer science, particularly complexity theory, learning, and parallel computation. He also has interests in computational neuroscience, evolution and artificial intelligence. Leslie is the author of two books, Circuits of the Mind, and Probably Approximately Correct.

He received the Nevanlinna Prize at the International Congress of Mathematicians in 1986, the Knuth Award in 1997, the European Association for Theoretical Computer Science EATCS Award in 2008, and the 2010 A. M. Turing Award. He is a Fellow of the Royal Society (London) and a member of the National Academy of Sciences (USA).

Graham Cormode has just joined the Department as a Professor associated with the .

Graham completed his PhD at the in 2002. His postdoctoral work was at the DIMACS center in Rutgers University. Subsequently, he has worked as a researcher at Bell Labs, and AT&T Shannon Laboratories in New Jersey. His work considers aspects of managing and working with large amounts of data, with particular emphasis on privacy and anonymization, and large scale analytics. Dr. Cormode has published over 100 papers in international journals and refereed conferences. He is the recipient of two best paper awards. He has served on the program committees of numerous conferences, and is an associate editor for IEEE Transactions on Knowledge and Data Engineering, and for ACM Transactions on Database Systems.

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

Computer Science student Kevin Street has been awarded a place on the prestigious Asidua Scholarship Programme. Launched in 2008, the programme - run by leading IT software services provider Asidua - aims to nurture fresh IT talent in the UK by supporting successful scholars with a package worth up to 拢25,000.

In addition to a paid bursary, the scholarship supplements the academic learning from university with real-life business experience through paid summer and year out placements, working with ICT professionals who are more than happy to share their knowledge and understanding.

Congratulations to our staff member Dr , for winning the best paper award at the main European conference in Theoretical Computer Science (Track B), for the paper he co-authored with Dr (a 糖心TV PhD, currently at the University of Liverpool).

John and Marcin's paper is one of six 糖心TV papers accepted for presentation at . Moreover, two of the 2007 糖心TV BSc Computer Science graduates have papers at ICALP 2013 (John Fearnley and Dominic Orchard). Congratulations are in place for all 糖心TV authors at !

Dr Mike Joy has been awarded 'Best Personal Tutor' in the STARS of 糖心TV awards. The student-led teaching awards recognise and celebrate staff members who have gone the extra mile for the benefit of students.

The Awards were launched in 2012 and are run by students, nominated by students and judged by students. From choosing categories to nominating and presenting awards, STARS is a completely student-led scheme giving students the chance to reward staff they feel have gone above and beyond for the sake of their students.

Rob will join the Department as a Professor associated with the Centre for Urban Science and Progress (CUSP).

Rob is a computer scientist with a strong inter-disciplinary background, focusing on social informatics. In general terms, his research aims are to understand how cognitive, organisational and social factors shape processes of appropriation (design, development and adoption) of innovations in information and communication technologies (ICTs). Rob's particular interests are in: computer-supported, collaborative work; dependability of ICTs; social media and health informatics. Currently active areas of research include research infrastructures, tools and methods, studies of innovation in the NHS and methodologies for the co-development of assistive living technologies.

At Manchester University, Rob was Director of the Manchester eResearch Centre, a multi-disciplinary group working on innovative research infrastructures, tools and methods. He also leads the Analysing Social Media Collaboration (ASMC) a multidisciplinary group of researchers based at several UK universities. ASMC focuses on analysing data from social media platforms such as Twitter with the aim of understanding the role they play in social phenomena. ASMC conducted the analysis tweets sent during the August 2011 riots for the Guardian/LSE ‘Reading the Riots’ project. The group is now developing a Twitter analysis workbench.

Rob has been Principal or Co-Investigator on over 50 projects. He has published over 180 papers in peer-reviewed journals and conference, is co-editor with Peter Halfpenny of ‘Innovations in Digital Research Methods’ to be published by Sage in 2013 and has been editor of the Health Informatics Journal since 2004.

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

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 .