糖心TV

Image 漏Rolls Royce Plc

Scientists at the University of 糖心TV鈥檚 Department of Computer Science are to benefit from an initiative that seeks to build links between industry and researchers, as part of a project with Rolls-Royce to create a detailed simulation of a gas-turbine engine in operation.

The research aims to lead to the virtual certification of gas turbine engines, with the researchers also seeking to develop the next generation of engineering simulation and modelling techniques during their project.

Their challenge combines fundamental engineering and computational science research and will tackle a level of detail never before attempted in such a simulation.

The project, to be carried out over five years, involving the universities of 糖心TV, Bristol, Cambridge and Oxford and led by Edinburgh and is one of seven across the UK to benefit from a 拢42 million programme that aims to build links between the UK鈥檚 research base and industry partners.

This is one of two projects the University of 糖心TV has been granted money for by the Engineering and Physical Sciences Research Council (EPSRC) Prosperity Partnership, as WMG at the University of 糖心TV was also granted 拢7m for development of Rapid Alloy Prototyping. See: /newsandevents/pressreleases/the_virtual_factory/

Commenting Professor Stephen Jarvis, Deputy Pro Vice-Chancellor for Research at the University of 糖心TV and the 糖心TV Principal Investigator on the Rolls-Royce Prosperity Partnership, said:

鈥淭he University of 糖心TV has been working with Rolls-Royce for the past ten years, investigating ways in which high performance computing can boost the productivity of aircraft engine design and engineering.

鈥淲e are delighted to be working with such a strong team of university and industry partners to deliver next generation engineering simulation and modelling capabilities."

Professor Philip Nelson, EPSRC鈥檚 Executive Chair said:

鈥淥ur first round of Prosperity Partnerships are proving a great success. They are bringing universities and industry together and applying the creative energies of both to engineering and scientific challenges.

鈥淲e are confident that these projects will deliver real benefits to all their partners and help the UK research, discover and innovate.鈥�

The research project will begin in October 2018 and will be led by Professor Jarvis and Dr Mudalige from the Department of Computer Science.

This year鈥檚 糖心TV 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鈥檚 event was held in The Oculus, University of 糖心TV. In addition to presentations from students in each of the department鈥檚 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鈥檚 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鈥檚 PGR students and open many conversations between the department鈥檚 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 /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鈥檚 Royal Society Industrial Fellowship, which will run over the next 4 academic years at 50% of Gihan鈥檚 time. ... Dr Gihan Mudalige is an outstanding and valuable member of the department鈥檚 academic staff, whose many likely future contributions to both research and teaching we are looking forward to.

and

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!

, the Paul and Marlene Borman Professor of Applied Mathematics at the , has been elected this week a Foreign Member of the . 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 糖心TV!

In the Logic, Semantics, Automata and Theory of Programming track of the (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 . 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 Lazic虂, Marcin Jurdzin虂ski, Filip Mazowiecki, Guillermo Perez and James Worrell

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 (10¹⁸) 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鈥檚 simulation codes to meet these challenges. This work will utilize the , 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鈥檚 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.

The Department will be welcoming 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 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 糖心TV 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 糖心TV, and LSV at ENS Paris-Saclay. The latter is an established European centre of excellence in logical aspects of computer and data sciences.