Computer Science News
Dr. Shan Raza joins the department as a new Assistant Professor
The Department welcomes our new Assistant Professor Dr. Shan Raza, who will be associated with the Applied Computing division and the Tissue Image Analytics (TIA) lab.
Before joining Warwick, Shan held a postdoctoral position for two years at the Institute of Cancer Research, UK working on the lung TRACERx project funded by Cancer Research UK (CRUK). Prior to that, he worked for three years as research fellow at Warwick computer science department on a BBSRC funded project exploring the origin of new beta cells during pregnancy. Shan obtained his PhD in Computer Science from Warwick in 2014. During his PhD and postdoc roles, he also gained hands on experience setting up experiments for the acquisition of images in wet biology labs and glass houses.
Shan's research is primarily in the areas of image analysis and applied machine learning. Specifically, he is interested in developing deep learning models for the analysis of microscopy images, integration of imaging and genomics data and studying tumour microenvironment in the context of cancer evolution.
Dr. Torsten Mütze joins the department as a new Assistant Professor
The Department is welcoming our new Assistant Professor Dr. Torsten Mütze, who will be associated with the Division of Theory and Foundations (FoCS) and the Centre for Discrete Mathematics and its Applications (DIMAP).
Before joining Warwick, Torsten held postdoctoral researcher positions at TU Berlin, Georgia Institute of Technology, and ETH Zürich. He obtained his PhD in Computer Science from ETH Zürich in 2011, under the guidance of Angelika Steger.
His research is primarily in the foundations of computer science and discrete mathematics. Specifically, he is interested in combinatorial algorithms, random graph processes, Ramsey theory, and combinatorial games. For more information about his research, please see his web page at http://www.tmuetze.de.
Talha Qaiser passes his PhD exam
Talha Qaiser, a PhD student in the Tissue Image Analytics (TIA) lab, successfully defended his PhD thesis titled "Topology and Attention in Computational Pathology" on Thu the 13th of June 2019. The thesis was supervised by Prof Nasir Rajpoot and involved collaborations with the University Hospital Coventry & Warwickshire (UHCW) NHS Trust (Prof David Snead, Dr Yee Wah Tsang), Department of Mathematics (Prof David Epstein), Warwick Medical School (Prof Paul Thornalley) and the Universities of Nottingham, Birmingham, Osaka and Hiroshima.
Warwick lead the first verifiable e-voting trial in the UK
Researchers from the Department of Computer Science, University of Warwick, joined by colleagues from Newcastle University and the University of York, led the first successful trial of an end-to-end verifiable e-voting system for polling station voting in Gateshead, Newcastle during the local elections on 2 May 2019. This trial was supported by the electoral service officials at the Gateshead council and was approved by the University of Warwick’s research ethics committee.
This is the first trial of a fully electronic voting system with end-to-end (E2E) verifiability for polling station voting in the UK. Being E2E verifiable, the system allows voters to independently verify if their votes are cast-as-intended, recorded-as-cast and tallied-as-recorded while preserving their privacy. By contrast, with paper ballots, voters must trust other people to record and tally their votes correctly, but they cannot verify this by themselves. The trialled e-voting system is the research outcome of an ERC starting grant, led by Professor Feng Hao from the Department of Computer Science. The prototype was developed under the support by Innovate UK and the trial was sponsored by the Royal Society.
On the election day, voters went to the Gateshead civic centre polling station to vote on paper ballots as usual. Upon exit from the polling station, they were invited to try a touch-screen based e-voting system for a mock election involving a set of dummy candidates. Voters were then provided with an anonymous survey form to indicate based on their voting experience, which of the two voting systems did they prefer. Nearly half of the voters at the Gateshead civic center polling station participated in this trial and provided many useful feedbacks. From the survey results, voters generally found the trialed e-voting system easy to use, and preferred it to paper ballots.
From Gateshead Council News, this is "a new system that could completely revolutionise the elections system". The Gateshead trial is also covered in the BBC News, University Press Releases, Webroots democracy, Government Business, Gizmodo, and ChronicalLive. A video demonstration of the trialled e-voting system is available on YouTube.
Dr. Arpan Mukhopadhyay joins the department as a new Assistant Professor
The Department is welcoming our new Assistant Professor Dr. Arpan Mukhopadhyay.
Before joining Warwick, Arpan held post-doctoral positions in the Computer Communications and Applications Laboratory-2 (LCA-2) of École Polytechnique Fédérale de Lausanne (EPFL), Switzerland, and in the DYOGENE project team of INRIA, Paris, France. He obtained his Ph.D. in Electrical and Computer Engineering from the University of Waterloo, Canada, in 2016.
Arpan is working in the broad area of mathematical modeling, performance analysis, optimization, and control of complex networks. His research spans several application areas, e.g., wireless networks, content distribution networks, cloud networks, social networks, etc. His theoretical works on mean field approximations extend the applicability of this performance analysis method to heterogeneous networks and have received Best Paper Awards at IFIP Performance 2015 and ITC 2015. Arpan won the ITC Rising Scholar Award in 2018.
Best Paper Award at STOC 2019
The contribution The Reachability Problem for Petri Nets is Not Elementary by Wojciech Czerwinski, Slawomir Lasota, Ranko Lazic, Jerome Leroux and Filip Mazowiecki has won a Best Paper Award at the 51st Annual ACM Symposium on the Theory of Computing, to be held on June 23-26, 2019 in Phoenix, AZ.
This work, which was supported by a Leverhulme Research Fellowship, shows that the central verification problem for Petri nets is much harder than has been known since the landmark result of Richard Lipton in 1976. Petri nets, also known as vector addition systems, are a long established model of concurrency with extensive applications in modelling and analysis of hardware, software and database systems, as well as chemical, biological and business processes.
Promotions for two academic staff
We are delighted to report that Dr Sara Kalvala and Dr Ligang He have been promoted to Reader, effective from 1 June 2019. Quoting from their recommendations,
Dr Sara Kalvala is one of the most experienced academics in Computer Science, with extensive contributions to teaching (at all levels), research (in core computer science, interdisciplinary and recently in computer science education) and administration (in departmental, institutional and national settings). Sara has also been leading a range of outreach activities, as well as being one of the most collegiate members of the department.
and
Dr Ligang He has in recent years grown not only into one of the leaders of his wider research area in the department (high-performance systems), but also into a highly competent teaching innovator, with exemplary impact, outreach and engagement at the international level, as well as a reliable, industrious and forwards pushing colleague in the department. Among his other achievements is that Ligang has been successfully supervising a growing group of PhD students; he has graduated 5, and is currently supervising 7 PhDs.
it remains to say many congratulations!