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

Peer-reviewed conferences

• Arka Ghosh, Slawomir Lasota:
  Equivariant ideals of polynomials.
  LICS 2024. (paper) (slides)
• Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Perez:
  The Geometry of Reachability in Continuous Vector Addition Systems with States.
  MFCS 2023 (invited for Information and computation special issue). (paper)
• Michael Cadilhac, Arka Ghosh, Guillermo A. Perez, 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)

• Michael Cadilhac, Arka Ghosh, Guillermo A. Perez, Ritam Raha:
  Parikh One-Counter Automata.
  Information and Computation. (paper)
• Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Perez:
  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)