This year’s Warwick Postgraduate Colloquium in Computer Science, WPCCS 2018, took place on Friday 29th June. The colloquium, an annual student-run event, showcased research performed by the postgraduate research (PGR) students in Computer Science, the Centre for Discrete Mathematics and its Applications (DIMAP) and the CDT in Urban Science and Progress.
Continuing a new tradition for the colloquium, this year’s event was held in The Oculus, University of Warwick. In addition to presentations from students in each of the department’s research areas, staff and external speakers offered guest talks. These centred on language design patterns in 2018, the evolution and horizons of Field Programmable Gate Arrays (FPGAs), and WebEXR, an online high dynamic range image viewer.
Florin Ciucu, the director of postgraduate research studies in the Department of Computer Science, said of the event:
WPCCS is an excellent opportunity for our students to widely expose where they currently stand in their research. It’s a fantastic way for them to contribute by sharing their research experiences, ideas and visions with their peers and the wider research community.
WPCCS 2018 showcased over 45 presentations and 25 posters of the latest research in the Department of Computer Science. WPCCS aims to foster an air of collaborative research amongst the department’s PGR students and open many conversations between the department’s postgraduate researchers and others. Thank you to all who attended and participated, we look forward to seeing you again next year.
To find out more about WPCCS 2018 or to provide feedback, please visit https://warwick.ac.uk/wpccs18.
We are delighted to report that Dr Theo Damoulas and Dr Gihan Mudalige have successfully completed their probations early, and become Associate Professors at the start of this month. Quoting from their probationary review reports,
Gihan has had a number of successes with attracting substantial research funding, most recently for two projects with AWE PLC, and one with Rolls Royce PLC. A further major success is Gihan’s Royal Society Industrial Fellowship, which will run over the next 4 academic years at 50% of Gihan’s time. ... Dr Gihan Mudalige is an outstanding and valuable member of the department’s academic staff, whose many likely future contributions to both research and teaching we are looking forward to.
Dr Theo Damoulas is a valuable asset to both Computer Science and Statistics departments in all of the research, teaching, administration and collegiality areas. Theo is already a next-generation research leader at the national and international levels, in particular enhancing the university's partnerships with the Alan Turing Institute, CUSP London, King's College London, and New York University.
it remains to say many congratulations!
Adi Shamir, the Paul and Marlene Borman Professor of Applied Mathematics at the Weizmann Institute of Science, has been elected this week a Foreign Member of the Royal Society. He is a co-inventor of the RSA algorithm (along with Ron Rivest and Len Adleman), a co-inventor of the Feige–Fiat–Shamir identification scheme (along with Uriel Feige and Amos Fiat), one of the inventors of differential cryptanalysis and has made numerous contributions to the fields of cryptography and computer science.
In 1976/77, Adi was a post-doctoral researcher in Computer Science at Warwick!
In the Logic, Semantics, Automata and Theory of Programming track of the 45th International Colloquium on Automata, Languages, and Programming (ICALP), three out of 30 accepted papers are by members of the department. ICALP is one of the most selective and longest established international conferences in computer science, and the flagship annual event of the European Association for Theoretical Computer Science. The papers are:
- Reducing CMSO Model Checking to Highly Connected Graphs by Ramanujan M. S., Daniel Lokshtanov, Saket Saurabh and Meirav Zehavi
- O-Minimal Invariants for Linear Loops by Shaull Almagor, Dmitry Chistikov, Joel Ouaknine and James Worrell
- When is Containment Decidable for Probabilistic Automata? by Laure Daviaud, Ranko Lazić, Marcin Jurdziński, Filip Mazowiecki, Guillermo Perez and James Worrell
Dr. Gihan Mudalige has been awarded a 4-year, Royal Society Industry Fellowship to work with Rolls Royce plc., on their turbomachinery design simulation applications from September 2018.
Companies such as Rolls-Royce, crucially depend on High Performance Computing (HPC) based numerical simulation applications for the design of turbomachinery. These complex multi-physics and engineering applications, predominantly based on computational fluid dynamics (CFD), even in their simplest form, provide insights into aspects of aircraft engines which could not otherwise be achieved in the absence of physical testing. Developing such simulation applications is difficult and expensive, taking years to write, test and verify. They can easily contain millions of lines of code. Consequently, such programs have lifetimes of decades compared to the supercomputers that run them, which advances every 2-4 years. In the next five years, HPC systems are expected to reach thousand times the capabilities of current systems, attaining exascale (1018) performance where a single system can perform million-trillion computations every second. The range of processor architectures, networks, memory, their configurations and scale make it difficult to know what type of systems will dominate exascale machines and how best to programme them to gain optimal performance. Poor performance means less simulation for your money or worse, a completely inoperable suite of codes. Such an outcome will mean a significant loss of investment. The underlying objective of this fellowship project is to re-design Rolls-Royce’s simulation codes to meet these challenges. This work will utilize the OP2, high-level embedded Domain Specific Language developed by Dr. Mudalige and his research collaborators at University of Oxford, PPCU Hungary and Imperial College London, aiming to re-engineer Rolls-Royce’s CFD applications suite and deploy it for production simulations.
Photo (© The Royal Society): The Royal Society Industry Fellows of 2018 (Round 1): from left to right Duncan Maclachlan, Steve Morgan, Del Atkinson, Gihan Mudalige, Anas Al Rawi, and Aurora Cruz-Cabeza, with HRH Prince Andrew, The Duke of York and Prof. Andrew Hopper, Labs to Riches presentation event, 20 March 2018, at the Royal Society head office in London.
Thursday 1 March saw the university's Mathematical Sciences Building project officially 'topped out': an event celebrating the construction as it reaches its highest point.
To mark the occasion, representatives of each of the Computer Science, Statistics and Mathematics departments decorated a central roof steel beam with an illustration of their subject. For our department, Professor Mike Paterson FRS drew his gadget for proving that the planar 3-colourability problem is NP-hard, a piece of research from the first decade of Computer Science at Warwick that is still fundamental today and being taught to our students. Professor Paterson commented:
I am delighted to have played a part in this momentous and happy event, that celebrates the many contributions of those involved in this project as well as those who have worked towards the three departments reaching this milestone. The state-of-the-art building, constructed by local people, will foster internationally leading collaborative research and teaching in our three rapidly growing subjects.
The Department will be welcoming Dr Laurent Doyen of CNRS and ENS Paris-Saclay as a Rutherford Visiting Fellow in 2018/19. This prestigious funding, whose aim is to attract top global talent into the UK, will allow Dr Doyen to collaborate closely with Dr Laure Daviaud, Dr Marcin Jurdzinski and Dr Ranko Lazic of DIMAP, as well as Dr Nathanael Fijalkow of the Alan Turing Institute, on cutting-edge research on fast algorithms for synthesis of safe, smart and adaptive controllers.
Professor Graham Cormode, the University of Warwick and Alan Turing Institute Liaison Director, commented:
Dr Doyen's Rutherford Visiting Fellowship will provide a major boost to building world-leading and long-lasting collaborative links among the Alan Turing Institute, the DIMAP multi-disciplinary research centre at Warwick, and LSV at ENS Paris-Saclay. The latter is an established European centre of excellence in logical aspects of computer and data sciences.