25 lines
1.6 KiB
Markdown
25 lines
1.6 KiB
Markdown
+ **08/2025** **SafeTree: Expressive Tree Policies for Microservices** and **A
|
|
Hoare Logic for Symmetry Properties** will appear at **OOPSLA 2025**. Congrats
|
|
Karuna and Vaibhav!
|
|
+ **07/2025** I gave two lectures at the [**Cornell, Maryland, Max Planck
|
|
Pre-doctoral Research School in Computer Science (CMMRS
|
|
2025)**](https://cmmrs.mpi-sws.org/) on **Type Systems: Between Theory and
|
|
Practice**. A lot of fun, thanks for the highly engaged students!
|
|
+ **07/2025** My (first!) PhD student [**Jialu Bao**](https://baojia.lu/about/)
|
|
has successfully defended her thesis, and will be starting a postdoc at
|
|
Northeastern with Steven Holtzen. Huge congratulations Jialu!!
|
|
+ **07/2025** **Towards an Axiomatisation of the Neighborhood Monad** will appear at
|
|
**BMQL 2025**. Congrats to a fantastic group of students and TAs from the
|
|
[**Adjoint School 2025**](https://adjointschool.com/2025.html): Max, Chase,
|
|
Jonas, Jón, and Jessica!
|
|
+ **05/2025** **Bean: A Language for Backward Error Analysis** will appear at
|
|
**PLDI 2025**. Congrats Ariel and Laura!
|
|
+ **01/2025** This semester, I'll be a mentoring a group for the [**Adjoint
|
|
School 2025**](https://adjointschool.com/2025.html) focused on **Categorical
|
|
Metric Structures for Numerical Analysis**.
|
|
+ **09/2024** This academic year, I will be on sabbatical at **Imperial College
|
|
London** visiting [**George
|
|
Constantinides**](https://cas.ee.ic.ac.uk/people/gac1/) and [**Eric
|
|
Kerrigan**](https://profiles.imperial.ac.uk/e.kerrigan), supported by a
|
|
**Wolfson Visiting Fellowship** from the Royal Society. Thank you!
|