Abstract Developing a new programming language, constructing a new domain-specific compiler, writing a new verification tool, optimizing a large application, designing a microprocessor, or verifying some of its components, all of these tasks require today a multi-year project. While most of the underlying problems are inherently hard and cannot be accelerated magically, we are additionally […]

About speaker: Martin Berger is a formal verification expert in the ISA research team. Before joining Huawei, he was a senior lecturer at the University of Sussex. He did his PhD at Imperial College London, and his undergraduate at Technical University Berlin. His academic work has been on formal methods in programming languages, in particular typing […]

Our new team member Giulio is giving an invited talk at LSFA, an FSCD-associated workshop. More details on the workshop web page: https://mat.unb.br/lsfa2021/pages/invited.html Understanding the lambda-calculus via (non-)linearity and rewriting.Abstract: The lambda-calculus is the model of computation underlying functional programming languages and proof assistants. Actually, there are many lambda-calculi, depending on the evaluation mechanism (e.g., […]

About the Speaker Professor Buneman is a research leader in extending databases to new data models, type systems, and languages. He chairs the Steering Committee for the University of Edinburgh – Huawei Distributed Data Management and Processing Research Laboratory. Abstract If we think of a database as an artifact for publishing data — and certainly […]

Speaker: Prof. Vincent Danos, Ecole Normale Paris Title: “Decentralised Finance the Old and the New” Date/Time: 2021/06/17 9:30 Recording: https://youtu.be/ysc5KSeDQOQ Abstract What is so special about decentralised finance? What kind of assets are traded and what is their fundamental value? What kind of basic financial primitives are available, and can they be combined? We will […]

Our research intern Todd Waugh Ambridge will present the paper Global Optimisation with Constructive Reals at the ACM/IEEE Symposium on Logic in Computer Science. Abstract—We draw new connections between deterministic, complete, and general global optimisation of continuous functions and a generalised notion of regression, using constructive type theory and computable real numbers. Using this foundation we […]

Data-with-a-hole-in-it: differential operators on data structures Thursday June 3 from 9.30 am This talk is a tutorial on the differential calculus, applied to the algebraic structure of data. Container-like data types can be seen as generalised polynomials over their element types. Differential operators act on those polynomials to give notions of “focus” or “cursor”, splitting […]

2021/05/20 There is a glaring gap in data exploration tools. On the one hand, there are spreadsheets, which are easy to use, but are error-prone and limited. On the other hand, there are programmatic tools, which offer unlimited flexibility, but require expert programming skills. Can we get the best from both worlds and build tools […]

We are delighted to welcome Prof. Glynn Winskel, pioneer of semantics of programming languages and theories of concurrency, to the Programming Languages team as Chief Scientist.

The Lab Workshop will take place on the 14th to 16th of June. If you are a Principal Investigator currently running a project under UoE-Huawei Laboratory Terms and Conditions, please would you update your 6 monthly progress reports. If you have been awarded funding by the Steering Committee but have yet to begin your project, […]


Report this page

To report inappropriate content on this page, please use the form below. Upon receiving your report, we will be in touch as per the Take Down Policy of the service.

Please note that personal data collected through this form is used and stored for the purposes of processing this report and communication with you.

If you are unable to report a concern about content via this form please contact the Service Owner.

Please enter an email address you wish to be contacted on. Please describe the unacceptable content in sufficient detail to allow us to locate it, and why you consider it to be unacceptable.
By submitting this report, you accept that it is accurate and that fraudulent or nuisance complaints may result in action by the University.