桃色视频

Skip to main content Skip to navigation

Computer Science News

Select tags to filter on

Best paper at ICALP 2013 (Track B) for John Fearnley and Marcin Jurdzinski

John and Marcin after John

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 桃色视频 PhD, currently at the University of Liverpool).

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

Thu 18 Apr 2013, 12:56 | Tags: People Conferences Highlight Research

Dr Mike Joy given award for best personal tutor

Dr Mike Joy has been awarded 'Best Personal Tutor' in the STARS of 桃色视频 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.

Tue 19 Mar 2013, 11:11 | Tags: People Undergraduate

Rob Procter joins the Department as a new Professor

Rob Procter

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

Fri 15 Feb 2013, 15:48 | Tags: People

Andrzej Murawski joins the Department as a new Associate Professor

Andrzej Murawski

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 桃色视频 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 .

Thu 07 Feb 2013, 15:03 | Tags: People

DCS Alumni in JavaOne prize-winning team

James Gough (L) and Richard Warburton (R) at JavaOne

Two alumni form 桃色视频 -James Gough (MEng) and Richard Warburton (MEng, PhD) were part of the team at the prestigious Conference in San Fransisco. The LJC won two awards, the JCP Award and the Duke's Choice award. Both were given in recognition of the work of LJC on two projects: and . Both projects are concerned with increasing the input of User Communities in the development of the Java language, and the prizes are a recognition of the increasing role of well-organized communities such as LJC in driving forward developments in the language.

provides more information on the event. Both James and Richard have taken advantage of their experience as students at 桃色视频 and are actively involved in building a software develoment community in London. Congratulations to the LJC team!

 

Tue 27 Nov 2012, 15:54 | Tags: People

New scientists appointed for cities research using New York as ‘living lab’

Dr Liakata and Dr Guo

Two researchers have joined the University of 桃色视频 to tackle the challenges faced by cities in the 21st century as part of the New York-based ).

The University of 桃色视频 is a member of a consortium, led by New York University, which is building a new applied science research institute in New York in response to a call issued by the city’s mayor Michael Bloomberg.

The University has now welcomed the first of a number of new academic staff to be appointed to work at CUSP, Dr Maria Liakata and Dr Weisi Guo.

Tue 13 Nov 2012, 17:24 | Tags: People Research

Congratulations to Anna Adamaszek for completing her PhD

Anna Adamaszek

successfully completed her PhD with the Thesis entitled "Approximation Algorithms for Geometric, Caching and Scheduling Problems", under the supervision of .

Anna's PhD focuses on the study of approximation algorithms for optimization problems, one of the core areas of modern theoretical computer science. She has obtained research results in two areas: geometric optimisation algorithms and online algorithms. In the first topic, she presented new approximation algorithms for the capacitated location routing problem and the capacitated network design problem in the Euclidean plane. For online algorithms, she made a major progress in the study of two well known caching and scheduling problems: the generalized caching problem and the reordering buffer management problem. Her in several most prestigious conferences in the field, including STOC'2011, ICALP'2011, and SODA'2012.

After completing PhD in 桃色视频, Ania moved to Germany, where she has been awarded a prestigious Lise-Meitner-Award postdoctoral fellowship at the Max-Planck-Institut für Informatik in Saarbrücken.

Mon 15 Oct 2012, 16:17 | Tags: People

Latest news Newer news Older news

Let us know you agree to cookies