Jade Alglave (born 1984) is a French computer scientist whose research involves

concurrency control In information technology and computer science, especially in the fields of computer programming, operating systems, multiprocessors, and databases, concurrency control ensures that correct results for concurrent operations are generated, while ...

consistency model In computer science, a consistency model specifies a contract between the programmer and a system, wherein the system guarantees that if the programmer follows the rules for operations on memory, memory will be consistent and the results of rea ...

s, weak hardware memory models, the relation between computer hardware and

programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming l ...

s, and the "cat" domain-specific language for consistency models. She is a professor of computer science at

University College London , mottoeng = Let all come who by merit deserve the most reward , established = , type = Public research university , endowment = £143 million (2020) , budget = � ...

and a distinguished engineer at British semiconductor firm

Arm In human anatomy, the arm refers to the upper limb in common usage, although academically the term specifically means the upper arm between the glenohumeral joint (shoulder joint) and the elbow joint. The distal part of the upper limb between t ...

Education and career

Alglave was a student of Luc Maranget at

INRIA The National Institute for Research in Digital Science and Technology (Inria) () is a French national research institution focusing on computer science and applied mathematics. It was created under the name ''Institut de recherche en informatiq ...

. She completed a doctorate in 2010 at

Paris Diderot University Paris Diderot University, also known as Paris 7 (french: Université Paris Diderot), was a French university located in Paris, France. It was one of the inheritors of the historic University of Paris, which was split into 13 universities in 197 ...

. After postdoctoral research at the

University of Oxford The University of Oxford is a collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the world's second-oldest university in contin ...

, she became a lecturer at

Queen Mary University of London Queen Mary University of London (QMUL, or informally QM, and previously Queen Mary and Westfield College) is a public university, public research university in Mile End, East London, England. It is a member institution of the federal University of ...

, working there with Peter O'Hearn and Byron Cook before following O'Hearn and Cook to University College London. Keeping her affiliation at University College London, Alglave also worked as a researcher at Microsoft Research Cambridge from 2014 to 2018, and at Arm beginning in 2018. In 2019, she was named as a professor at University College London.

Recognition

Alglave won the 2014 Brian Mercer Award for Innovation of the

Royal Society The Royal Society, formally The Royal Society of London for Improving Natural Knowledge, is a learned society and the United Kingdom's national academy of sciences. The society fulfils a number of roles: promoting science and its benefits, r ...

. She won the Silver Medal of the

Royal Academy of Engineering The Royal Academy of Engineering (RAEng) is the United Kingdom's national academy of engineering. The Academy was founded in June 1976 as the Fellowship of Engineering with support from Prince Philip, Duke of Edinburgh, who became the first senior ...

in 2018. In 2020 the

British Computer Society Sir Maurice Wilkes served as the first President of BCS in 1957 BCS, The Chartered Institute for IT, known as the British Computer Society until 2009, is a professional body and a learned society that represents those working in infor ...

gave her the

Roger Needham Award The Roger Needham award is a prize given scientists who are recognised for important contributions made to computer science research The British Computer Society established an annual Roger Needham Award in honour of Roger Needham in 2004. It is a ...

. In 2021 she was named a

Fellow of the Royal Academy of Engineering Fellowship of the Royal Academy of Engineering (FREng) is an award and fellowship for engineers who are recognised by the Royal Academy of Engineering as being the best and brightest engineers, inventors and technologists in the UK and from aro ...

References

External links

Home page
* {{DEFAULTSORT:Alglave, Jade 1984 births Living people French computer scientists French women computer scientists Academics of Queen Mary University of London Academics of University College London Fellows of the Royal Academy of Engineering Female Fellows of the Royal Academy of Engineering