Kaushik Mallik
Postdoc, ISTA, kaushik.mallik@ist.ac.at.
Institute of Science and Technology Austria
Am Campus 1,
3400 Klosterneuburg, Austria.
Hi! I am a postdoctoral researcher at the Institute of Science and Technology Austria (ISTA) in Klosterneuburg, Austria. My postdoc advisor is Prof. Thomas A. Henzinger. My primary research interest is in the correct design of safety-critical cyber-physical systems, specifically through scalable abstractions and formally verified synthesis algorithms. My other research interests include the development of tools for detecting and preventing algorithmic biases in machine-learned decision makers.
I finished my PhD in 2022 at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, under the supervision of Prof. Rupak Majumdar. The title of my PhD thesis is “Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems.” It won the 2023 ETAPS doctoral dissertation award.
You can have a look at my cv if you are interested to know more.
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. |
selected publications
-
-
-
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition FairnessTheoretiCS, 2023