Jade Alglave FREng (born 1984)[1] is a French computer scientist whose research involves concurrency control, consistency models, weak hardware memory models, the relation between computer hardware and programming languages, and the "cat" domain-specific language for consistency models. She is a professor of computer science at University College London and a distinguished engineer at British semiconductor firm Arm.[2]
Education and career
editAlglave was a student of Luc Maranget at INRIA.[3] She completed a doctorate in 2010 at Paris Diderot University.[4]
After postdoctoral research at the University of Oxford, she became a lecturer at Queen Mary University of London, 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.[5]
Recognition
editAlglave won the 2014 Brian Mercer Award for Innovation of the Royal Society.[6] She won the Silver Medal of the Royal Academy of Engineering in 2018.[7] In 2020 the British Computer Society gave her the Roger Needham Award.[3] In 2021 she was named a Fellow of the Royal Academy of Engineering.[8]
References
edit- ^ Birth year from VIAF authority control record, retrieved 2022-07-27
- ^ Professor Jade Alglave, Senior Principal Engineer at Arm, Arm, retrieved 2022-07-27
- ^ a b Professor Jade Alglave wins the 2020 BCS Roger Needham Award, British Computer Society, 13 November 2020, retrieved 2022-07-27
- ^ A shared memory poetics (PDF) (Doctoral thesis), Paris Diderot University, 26 November 2010, retrieved 2022-07-27 – via University College London
- ^ "Inaugural Lecture of Professor Jade Alglave: Herding Cats", UCL Computer Science, University College London, 24 April 2020, retrieved 2022-07-27
- ^ Dr Jade Alglave, Winner of the 2014 Brian Mercer Award for Innovation, Royal Society, retrieved 2022-07-27
- ^ "Dr Jade Alglave receives Academy Silver Medal", UCL Computer Science, University College London, 28 June 2018, retrieved 2022-07-27
- ^ "UCL academics named as Royal Academy of Engineering Fellows", UCL News, University College London, 22 September 2021, retrieved 2022-07-27
External links
edit- Home page
- Jade Alglave publications indexed by Google Scholar