news
| Apr 11, 2024 | The paper on Auction-Based Scheduling appeared in ETAPS |
|---|---|
| Oct 19, 2023 | New preprint on arXiv: Auction-Based Scheduling |
| Sep 30, 2023 | New journal paper (NAHS): Symbolic control for stochastic systems via finite parity games |
| Jul 8, 2023 | Accepted paper in RV 2023: Monitoring Algorithmic Fairness Under Partial Observations |
| Jun 27, 2023 | Check out my interview at the ETAPS blog. |
| Apr 26, 2023 | My PhD thesis won the 2023 ETAPS doctoral dissertation award. |
| Apr 22, 2023 | Two upcoming papers in CAV 2023. |