cv

General Information

Full Name Kaushik Mallik
Year of Birth 1990
Languages Bengali (native), English (fluent), Hindi (medium-fluent), German (basic)
Emails kaushik.mallik (at) ist.ac.at, kmallik314 (at) gmail.com

Academic Interests

  • Formal methods in computer science.
    • Algorithmic design of reactive systems (reactive synthesis).
    • Correct-by-construction design of cyber-physical systems.
  • Fairness in machine learning.
    • Runtime monitoring of fairness using statistical methods.

Education

  • 2022
    PhD in Computer Science.
    Max Planck Institute for Software Systems, Kaiserslautern, Germany.
    • Thesis: Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems.
    • With summa cum laude.
  • 2015
    M. Tech. in Systems and Control.
    IIT Roorkee, Roorkee, India.
    • Thesis title: Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems using Deterministic Context-Free Specification Languages.
    • With first division with distinction, ranked first in the department.
  • 2012
    B. Tech. in Electrical Engineering.
    Meghnad Saha Institute of Technology, Kolkata, India.

Experience

  • 2022 - present
    Postdoctoral researcher.
    Institute of Science and Technology Austria, Austria.

Honors and Awards

  • 2023
    • ETAPS Doctoral Dissertation Award.
  • 2015
    • Late Smt. Uma Goyal W/O Sri Uday Shankar Goyal Memorial cash prize for obtaining the highest CGPA in M.Tech. in Electrical Engineering Department at IIT Roorkee.
  • 2014
    • DAAD (Deutscher Akademischer Austausch Dienst) IIT Master Sandwich Scholarships for carrying out M.Tech dissertation in TU-Berlin.
  • 2013 - 2015
    • Scholarship from the Ministry of Human Resource Development (MHRD) India for pursuing M.Tech.
  • 2008
    • Scholarship from MHRD India for outstanding result in Higher Secondary Examination.

Invited Talks

  • 2024
    Auction-Based Scheduling
    IAIK, TU Graz, Graz, Austria.
  • 2024
    Auction-Based Scheduling
    Faculty of Informatics at Masaryk University, Brno, Czech Republic.
  • 2023
    Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems
    Doctoral Dissertation Award Talk, ETAPS 2023, Paris, France.
  • 2021
    A Negotiation Framework for Distributed Reactive Synthesis
    Simons Institute for the Theory of Computing, Berkeley, USA.
  • 2019
    Lazy Abstraction-Based Controller Synthesis
    EECS at UC Berkeley, Berkeley, USA.

Academic Internships

  • 2019
    • University of California Berkeley, USA.
    • Advised by Claire Tomlin.
    • Worked on abstraction-based controller synthesis for black-box systems.
  • 2015
    • MPI-SWS, Germany.
    • Advised by Rupak Majumdar.
    • Worked on compositional controller synthesis using finite abstractions.
  • 2014
    • TU Berlin, Germany.
    • Advised by J ̈org Raisch and Anne-Kathrin Schmuck.
    • Worked on compositional controller synthesis for discrete-event systems.

Tools

  • Mascot-SDS.
    • Controller synthesis for discrete-time continuous-state stochastic dynamical systems.
  • Fairsyn
    • Computing winning strategies in two-player fair-adversarial games on finite graphs.
  • Mascot.
    • Lazy abstraction-based controller synthesis for continuous dynamical systems.
  • Agnes.
    • Assume-guarantee distributed synthesis for interacting reactive systems.

Teaching Experiences

  • 2019
    • Logic and verification seminar, TU-Kaiserslautern (teaching assistent).
  • 2017
    • Complexity theory, TU-Kaiserslautern (teaching assistent, occassionally took lectures).

Mentoring of Bachelor's and Master's Students

  • Kyle Hsu
  • Mehrdad Zareian
  • Tamajit Banerjee
  • Mateusz Rychlicki
  • Mahyar Karimi

Mentoring of Phd Students

  • Konstantin Kueffner
  • Ehsan Goharshady
  • Mahyar Karimi
  • Ruichen Luo

Other Professional Roles

  • Conference committee member.
    • PC Member - RP 2024.
    • Artifact Evaluation Committee - TACAS 2024, CAV 2024, QEST+FORMATS 2024.
    • Doctoral Dissertation Award Committee - ETAPS 2024.
    • Posters/Demos - HSCC 2021.
  • Journal reviewer.
    • Automatica (2023), Elsevier NAHS (2020-21, 2023x2), IEEE L-CSS (2020, 2023x2), Wiley RNC (2023), IEEE OJ-CSYS (2022), IEEE TAC (2018), SIAM SICON (2018), Springer DEDS (2018).
  • Conference reviewer.
    • ECC 2022, CDC 2017-20, ACC 2019, ECC 2019.
  • Conference sub-reviewer.
    • LICS 2024, FoSSaCS 2024, FSTTCS 2020, HSCC 2018-19, ATVA 2019, CAV 2019.