End sabbatical.
This commit is contained in:
parent
282d402cfa
commit
05ba2b7773
@ -2,10 +2,6 @@ I am an associate professor in the [Department of Computer
|
||||
Science](https://www.cs.cornell.edu/) at [Cornell
|
||||
University](https://www.cornell.edu).
|
||||
|
||||
|
||||
**This year, I am away on sabbatical at Imperial College London. I will be back to Cornell in August 2025.**
|
||||
|
||||
|
||||
Previously, I was an assistant professor in the [Department of Computer
|
||||
Sciences](https://www.cs.wisc.edu/) at the [University of
|
||||
Wisconsin--Madison](https://www.wisc.edu), and a postdoc at the [Department of
|
||||
|
@ -1,3 +1,5 @@
|
||||
+ **08/2025** I'm back to Ithaca after a year on sabbatical! This fall, I'll be
|
||||
teaching **Category Theory for Computer Scientists (CS 6117)**.
|
||||
+ **08/2025** **SafeTree: Expressive Tree Policies for Microservices** and **A
|
||||
Hoare Logic for Symmetry Properties** will appear at **OOPSLA 2025**. Congrats
|
||||
Karuna and Vaibhav!
|
||||
@ -17,8 +19,3 @@
|
||||
+ **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!
|
||||
|
Loading…
x
Reference in New Issue
Block a user