Projects

• Linear algebra in orbit-finite dimension(2023-2026)
  Funding scheme : NCN Preludium
  Role : Principal investigator
• Data enriched models of computation(2020-2024)
  Funding scheme : NCN Opus
  Role: PhD student

Publications and preprints

Preprints

• Nathanaël Fijalkow, Arka Ghosh, Roman Kniazev, Guillermo A. Pérez, Pierre Vandenhove:
  Computing the Reachability Value of Posterior-Deterministic POMDPs.
  (paper)
• Arka Ghosh, Aliaume Lopez:
  Computability of Equivariant Gröbner bases.
  (paper)

Peer-reviewed conferences

• Wojciech Czerwinski, Daniel Dadush, Ekin Ergen, Arka Ghosh, Sławomir Lasota, Lukasz Orlikowski:
  Greedy Vector Balancing.
  SODA 2026. (paper)
• Arka Ghosh, Sławomir Lasota:
  Equivariant ideals of polynomials.
  LICS 2024. (paper) (slides)
• Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez:
  The Geometry of Reachability in Continuous Vector Addition Systems with States.
  MFCS 2023 (invited for Information and computation special issue). (paper)
• Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha:
  Parikh One-Counter Automata.
  MFCS 2023 (invited for Information and computation special issue). (paper) (slides)
• Arka Ghosh, Piotr Hofman, Sławomir Lasota:
  Orbit-finite Linear Programming.
  LICS 2023 (distinguished paper). (paper) (slides) (poster)
• Arka Ghosh, Piotr Hofman, Sławomir Lasota:
  Solvability of orbit-finite systems of linear equations.
  LICS 2022. (paper)

• Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha:
  Parikh One-Counter Automata.
  Information and Computation. (paper)
• Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez:
  The Geometry of Reachability in Continuous Vector Addition Systems with States.
  Information and Computation. (paper)
• Arka Ghosh, Piotr Hofman, Slawomir Lasota:
  Orbit-finite Linear Programming.
  Journal of the ACM. (doi) (arxiv version)