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, […]

Time: Thursday, 29 April 2021, 9:30 Edinburgh time (UTC+1) Abstract: We’ll tour my Nominal techniques Haskell package, which provides easy access to types and type classes with nominal-style binding. Why do you need this?  Because it lets you program and reason on name-like data (e.g. variable symbols, pointers, links), and binding (e.g. name-binding, hiding, locality) at […]

Huawei Edinburgh Lab June meeting 2021 Please see https://blogs.ed.ac.uk/he-lab/june-2021-joint-lab-meeting-talks-and-speakers/ for abstracts and speaker details.   Monday 14 June UK Time China time Topic/title Speakers 08:00-08:20 15:00-15:20 Informatics welcome, Huawei Welcome, Lab report Jane Hillston (UoE),  Guilei Xie  (Huawei) 08:20-08:35 15:20-15:35 Development of Huawei Research Center in Edinburgh Victor Zhang Xiaofeng  (Huawei) 08:35-08:50 15:35-15:50 Workshop organisation […]

About Huawei Research and Development UK Limited Huawei’s vision is to enhance the lives of humanity and improve the environment by building a fully connected and intelligent world. Huawei has the largest R&D organisation in the world with 80,000 employees in research centres around the globe. In the UK, we already have design centres in […]

The call for proposals for the School of Informatics-Huawei Distinguished Visitor Scheme is now open. The aim of this scheme is to enable internationally renowned academics to visit the School of Informatics. The scheme is generously sponsored by Huawei allows senior academics to conduct research with international peers, in Edinburgh. Typically, visitors will be professors […]

Date/Time: 2021/04/08 This talk will overview how to improve your C++ programs using functional techniques, based on Ivan Cukic book ISBN-10(1617293814). C was born as C with Classes, but the addition of Templates and STL, made C++ a multi-paradigm language. The book goes over Functional Programming features included in the latest C++ implementations C++11,C++14 and […]

Efficient gradient descent-style local optimisation algorithms have been studied extensively and applied abundantly throughout the field of deep learning. On the other hand, convergent global optimisation algorithms that never yield an incorrect result — such as branch-and-bound methods — are much less practically available. Optimisation is a core component of supervised machine learning, having broad […]

  The first Huawei Lab Workshop of 2021 will be held  from the 14th to 16th of June (mornings in Edinburgh, late afternoon China)   The Huawei lab June workshop is the forum for researchers to share findings from their Huawei-sponsored research project through discussion, posters and reports. Attendees will have the opportunity to hear […]

Abstract String diagrams are becoming the established mathematical language of diagrammatic reasoning, with the mantra of ‘only connectivity matters’: equal terms are represented as isomorphic (or isotopic) diagrams. Unfortunately, when adding more structure to categories in the form of additional axioms, this mantra is lost: we must now consider diagrams up to rewriting. To perform […]