The design of functional numerical software

Learn more Add to Calendar 01/28/2023 01:46 AM 01/28/2023 01:46 AM Europe/London The design of functional numerical software Location of the event

About the event

Speakers: Richard Mortier (University of Cambridge, UK), Liang Wang (University of Cambridge, UK) Date: 4 April 2018 Time: 14.00 – 16.00 Venue: The Alan Turing Institute Register your interest

Owl is an OCaml library for engineering and scientific computing. The library is developed in the functional language and possesses many unique designs in its architecture. The goal is to allow programmers to write code as concise as Python yet as fast as C with advanced features inherited from OCaml such as static type checking. With different backends, Owl applications can run on CPU, GPU, even can be compiled into javascript and run in browser. The talk will first overview Owl’s design and its important features including: algorithmic differentiation, deep neural net work, data-flow programming, parallel computing, and etc. Then the current research focus and future development plan including: synchronous parallel machines, deployment in browser, and etc. Bio: Dr Richard Mortier (University of Cambridge, UK) Dr Richard Mortier is a University Lecturer in the Computer Laboratory at the University of Cambridge. He works in the Networks and Operating Systems group within the Systems Research Group, and he is interested in computing infrastructures, specifically networked systems. Before coming to Cambridge in 2014 Dr Mortier was a Horizon Transitional Fellow in the Horizon Institute, based in the School of Computer Science at the University of Nottingham. His research spans a range of topics, all with a networked systems angle. He has worked on topics from distributed system performance monitoring and debugging, to Internet routing protocols, to real-time media platform design and implementation. He has worked in a variety of roles, from high-level platform architect, to designer and implementer of complex networked systems, to website designer and builder. He has also consulted and worked for a broad range of companies, including startups and corporates in both the US and UK. Dr Liang Wang (University of Cambridge, UK) Liang Wang is a seinor research associate in the Computer Laboratory at University of Cambridge. He received both his MSc a nd PhD degrees in Computer Science from University of Helsinki, Finland in 2011 and 2015 respectively. Liang’s research interests include system and network optimisation, modelling and analysis of complex networks, numerical software, distributed data processing, and so on.

Further info


The Alan Turing Institute

1st floor of the British Library, 96 Euston Road, London, NW1 2DB

51.5297753, -0.12665390000006