Event type:

In person

Date & time:

24 Apr 2020, 17:00 – 19:30

POSTPONED: Inaugural Lecture of Professor Jade Alglave: Herding Cats

Due to the current circumstances, this inaugural lecture will be rescheduled at a more suitable time.
Jade Alglave (UCL Principal Supervisor & UCL Subsidiary Supervisor - PPLV (Programming Principles, Logic, and Verification) was promoted to Professor within UCL Computer Science in 2019. We invite you to attend Jade's Inaugural Lecture and celebratory reception.

4 cats in different colours
Back to All Events

POSTPONED: Inaugural Lecture of Professor Jade Alglave: Herding Cats

Professor Jade Alglave

UCL Principal Supervisor & UCL Subsidiary Supervisor

PPLV (Programming Principles, Logic, and Verification)

Bio

Jade Alglave completed her PhD at INRIA under the supervision of Luc Maranget - she defended her PhD in November 2010. During her PhD, Luc and Jade developed the diy tool, and what can now be recognised as the semantics premise of the cat language. Years of reflection on the topic led to Luc and Jade designing the herd tool and the cat language hand in hand. They continue to work closely to this day.

After INRIA, Jade went to Oxford to learn about model-checking as a postdoc under Prof. Daniel Kroening. During the Oxford days (2011), Jade worked jointly with Vincent Nimal and Michael Tautschnig to design extensions of Kroening's CBMC tool, towards enabling program analysis with respect to concurrency as
exhibited by multiprocessor systems.

In 2012, Jade was offered a lectureship at Queen Mary University of London, in the group led by Prof. Peter O'Hearn and Prof. Byron Cook. Shortly thereafter the group moved to University College London. Since the London days, Jade has had the privilege to benefit from the advice and mentoring of Peter and Byron.

In 2014, the Heterogeneous System Architecture (HSA) became early adopters of the cat language as a means to describe their concurrency model. In the summer of 2014, Jade was a visiting researcher at NVidia, developing concurrency models of their Volta chip. In October 2014 she joined Microsoft Research Cambridge whilst still holding an appointment with UCL. That same year she was named as the recipient of the Royal Society Brian Mercer Award for Innovation.

The years 2015 and 2016 were years of intense collaboration with Prof. Patrick Cousot (NYU), leading to the development of a semantics for the cat language, as well as a proof method for concurrent programs.

In 2016, Will Deacon (then Arm) started developing a cat model for the Armv8 architecture, which sparked a fruitful collaboration between Jade and Will. Jade joined Arm in March 2018 to maintain and develop the original model further whilst still holding an appointment with UCL.

In 2018, a long-term effort started by Jade and Paul McKenney (then IBM) to develop a model of the concurrency in the Linux kernel came to fruition, when the corresponding cat model was upstreamed into the kernel. That same year, Jade was named as a recipient of the Royal Academy of Engineering Silver Medal.

http://www0.cs.ucl.ac.uk/staff/J.Alglave/ 

Jade was made a Professor of Computer Science by UCL in 2019.

Further information

Ticketing

Ticketed

Cost

Free

Open to

All

Availability

Yes

Organiser

Computer Science Communications and Events

computerscience.comms@ucl.ac.uk