Computer Science News
WATE PGR commendation for Alexander Noll
We are very happy to report that Alexander Noll, PhD student at the department鈥檚 Institute for the Science of Cities, has been rewarded with the 2019/2020 糖心TV Award for Teaching Excellence for Postgraduates who Teach. As a commendee, the recognition of his teaching comes in addition to a 拢200 teaching endowment. Alexander, who comes from an interdisciplinary academic background and has been teaching on several undergraduate modules of our department as well as the Department of Sociology, commented:
The thought that I was able to contribute positively to somebody鈥檚 learning and their time at 糖心TV in general sparks great joy. It is a great honour to be recognised for my tiny contribution to a community of teachers who work hard on creating a positive learning environment.
WATE seek to recognise outstanding teaching and support of learning across the University. Since 2003, the Awards have helped showcase innovation and commitment from across 糖心TV's teaching community. Nominations can be made by both students and staff and a panel of judges then creates a shortlist of up to ten nominees. Based on additional personal statements, 10 winners are selected from the shortlist, split into five awards and five commendations.
Seven new academic and teaching staff







By the start of the Autumn Term, the department will boast seven new staff who have joined us in 2020: Associate Professor , Assistant Professor Dr Weiren Yu, Senior Teaching Fellow Dr Andrew Hague, Teaching Fellows Dr Greg Watson, Dr Rossella Suma and Richard Kirk, and Research and Teaching Fellow Dr Matthew Bradbury.
Coming from Southampton, Aston and 糖心TV universities, our new colleagues bring a wealth of teaching and research excellence, with expertise in areas including artificial intelligence, agent-based systems, data mining, information retrieval, educational technologies, image processing, high-performance computing, and cyber security.
Promotion to Associate Professor
A further piece of excellent news: Dr Paolo Turrini has been promoted to Associate Professor, effective from 1 September 2020. Many congratulations to Paolo, whose recommendation says:
Dr鈥疶urrini has maintained an internationally recognised publication trajectory, with papers appearing in highly-ranked journals and conferences. He has also grown his research group to 4 PhD students currently, and developed fruitful research collaborations with several academics in the department. 鈥 Dr鈥疶urrini has contributed to designing two 4th-year/MSc modules. He has been attentive to his teaching to an exemplary degree, resulting in consistently positive feedback from students...
Promotion to Senior Teaching Fellow
We are very happy to report that Dr Andrew Hague has been promoted to Senior Teaching Fellow, effective from 1 July 2020. Quoting from his recommendation,
Dr Hague... has built on his successful experiences of design and delivery of teaching in 糖心TV Foundation Studies, already demonstrating a high standard in module development as well as delivery of lectures, seminars and laboratories in Computer Science. Both feedback from students and references from colleagues testify to his excellence and initiative. 鈥 Dr Hague is recognised within a valuable network of contacts on campus, in the computer games industry, and other educational and community organisations, where he is known for his capacity for impactful innovation in the wide domain of educational technology. Dr Hague has also already proved himself in several successful outreach initiatives and events.
it remains to say many congratulations!
Athena SWAN Bronze Award for the Department
We are very happy to report that the Department has won a Bronze Award from the . This is a key Equality Charter of , and it recognises advancement of gender equality: representation, progression and success for all. Commenting on the award, the University's Provost, Professor Christine Ennew, said:
This is excellent news for Computer Science and the wider 糖心TV community. I would like to offer my congratulations to everyone in the Department for the significant progress that has been made on gender equality in recent years, and I wish them every success in implementing their Action Plan for this area in the coming years.
We are especially grateful to the Self-Assessment Team, and all students and staff who contributed to the questionnaire, the analysis and the consultation. This Bronze Award will be held by the Department until at least November 2023.
Dr Criseida Zamora joined the department as a Research Fellow
Dr Criseida Zamora has joined the department to work together with , (UCL) and a number of other world-leading experimental laboratories on an MRC-funded project "Virtual presynaptic nerve terminal". This project aims to develop a unified computational modelling framework which will allow the neuroscience community to explore mechanisms of synaptic transmitter release that cannot be directly determined experimentally.
Criseida is a Bionic engineer working in the Systems Biology field. She received a PhD degree in Biomedical Engineering and Physics working on the analysis of biochemical noise in synthetic genetic circuits at the Center for Research and Advanced Studies of the National Polytechnic Institute in Mexico. Her academic background and research experience have focused hitherto on building in silico models to study emergent properties of molecular systems to answer physiological questions. She has also worked as a postdoctoral scholar at Okinawa Institute of Science and Technology in Japan and the University of Bristol.
Six papers accepted to the 47th ICALP
We are pleased to report that members of the department's Theory and Foundations research theme have had 6 papers accepted to the , the main European conference in Theoretical Computer Science and annual meeting of the . The papers are:
- On the central levels problem by Petr Gregor, Ond艡ej Mi膷ka and Torsten M眉tze
- Matrices of optimal tree-depth and row-invariant parameterized algorithm for integer programming by Timothy Chan, Jacob Cooper, Martin Kouteck媒, Dan Kr谩l and Krist媒na Pek谩rkov谩
- The Complexity of Verifying Loop-free Programs as Differentially Private by Marco Gaboardi, Kobbi Nissim and David Purser
- Rational subsets of Baumslag-Solitar groups by Micha毛l Cadilhac, Dmitry Chistikov and Georg Zetzsche
- The Strahler number of a parity game by Laure Daviaud, Marcin Jurdzinski and K. S. Thejaswini
- On the power of ordering in linear arithmetic theories by Dmitry Chistikov and Christoph Haase