news
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. |