Jade Allave

Jade Alglave FREng (född 1984) är en fransk datavetare vars forskning involverar samtidighetskontroll , konsistensmodeller , svaga hårdvaruminnesmodeller, förhållandet mellan datorhårdvara och programmeringsspråk och det domänspecifika "cat"-språket för konsistensmodeller. Hon är professor i datavetenskap vid University College London och en framstående ingenjör vid det brittiska halvledarföretaget Arm .

Utbildning och karriär

Allave var elev till Luc Maranget vid INRIA . Hon doktorerade 2010 vid Paris Diderot University .

Efter postdoktoral forskning vid University of Oxford blev hon föreläsare vid Queen Mary University of London och arbetade där med Peter O'Hearn och Byron Cook innan hon följde O'Hearn och Cook till University College London. Allave behöll sin anknytning till University College London och arbetade också som forskare vid Microsoft Research Cambridge från 2014 till 2018, och på Arm med början 2018. 2019 utsågs hon till professor vid University College London.

Erkännande

Allave vann 2014 Brian Mercer Award for Innovation of the Royal Society . Hon vann Silvermedaljen från Royal Academy of Engineering 2018. 2020 gav British Computer Society henne Roger Needham Award . 2021 utsågs hon till Fellow vid Royal Academy of Engineering .

externa länkar

• Hemsida
• Jade Alglave -publikationer indexerade av Google Scholar