Projects

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

Publications

• Arka Ghosh, Slawomir Lasota:
  Equivariant ideals of polynomials.
  LICS 2024. (paper)
• 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, Slawomir Lasota:
  Orbit-finite Linear Programming.
  LICS 2023 (distinguished paper). (paper) (slides) (poster)
• Arka Ghosh, Piotr Hofman, Slawomir Lasota:
  Solvability of orbit-finite systems of linear equations.
  LICS 2022. (paper)