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.
Professor Nasir Rajpoot has been recognised by the Royal Society’s Wolfson Merit Award scheme, awarded to outstanding scientists to support their research careers at UK universities.
Rajpoot is the founding head of Tissue Image Analytics (TIA) Lab in the Computer Science department at Warwick, where a major focus of research is on developing novel machine learning based algorithms for analysis of digitised microscopic images of cancerous tissue slides with applications to computer-assisted diagnosis, prognosis and stratification of cancer. The award will support his work on digital profiling of tumour microenvironment.
He said: “I am delighted to accept this prestigious award. My research focus is on studying cellular patterns in the tumour microenvironment in order to help us better understand tumour-immune interactions and predict cancer progression, response to therapy, and survival. This award will provide significant prestige in helping us achieve our research objectives.”
In the recently released 2017 National Student Survey results, Warwick Computer Science ranked 2nd of the 104 computing departments in the UK, with an overall student satisfaction rate of 96%. Among Russell Group competitor institutions (an elite group of teaching and research universities in the UK), Computer Science at Warwick is ranked 1st for overall student satisfaction.
The National Student Survey (NSS) canvasses student satisfaction across all departments at all UK universities and remains the biggest survey of student satisfaction in the UK. Students are asked to respond on topics including teaching quality, learning opportunities, academic support, and organisation and management.
Among Russell Group institutions, Computer Science at Warwick ranked top in almost all major categories*:
- 1st for overall student satisfaction
- 1st for teaching quality
- 1st for learning opportunities
- 1st for assessment and feedback
- 1st for academic support
- 1st for learning resources
- 1st for learning community
- 1st for organisation and management
Throughout this summer investment continues in new teaching and laboratory facilities, with Warwick’s new interdisciplinary Mathematical Sciences building (for the Departments of Computer Science, Mathematics and Statistics) opening in 2018.
*These figures are based on the Russell Group institutions for which there is publishable data for the subject of Computer Science in 2017.