Anna Gallone

My Profile Picture (tell me I'm pretty pwease)

PhD student in Computer Sciences:
Distributed Cyber-Physical Systems Modeling

About Me

I am an eternally curious, alt-indie-rock, board and card games, theater and animation movies enjoyer.

Ask me about something I like and I can talk for hours, literally. My main research subjects are around modeling of computer systems involving interactions with elements of the environment, but honestly, I'm into anything that requires a bit of abstraction and a lot of reflexion: algorithms, language theory, signal processing, applied math, computer architectures...

Teaching computer science at Université Marie & Louis Pasteur, Franche-Comté.

Doing research at Femto-ST Institute on automata-based models, component based systems, control theory applied to computer sience and distributed systems.

Projects

Control of Hierarchical Interconnected Programmable Systems

Chips language logo (two overlapping crisps)

Chips is a high-level semi-synchonous programing language for the description of distributed softwares on heterogeneous platforms taking into account environment turbulence to achieve real-time adaptation and continuity of services.

Alright. That was a pretty long and complex sentence. Now, let us forget about the scientific jibberish: Its mainly called Chips because I wanted a funny name. It is a quite specific language, you may not want to learn programming with it. It is mostly a toy language for me to experiment my research concepts. However, with the help of some interested engineers, it could really become a powerful tool for the design of critical systems and quick deployment of self updating applications (if my research is of any use). Check my GitHub if you're interested!

Personne ne les pleurera

Directing a french theater play that I wrote. Maybe, eventually, someday, if stars align, we'll go on a tour with my comedians to show that play to the world!

This play exists thank to Théâtre Universitaire de Franche-Comté.

MetaMeta

Development of a narrative video game on my own. It's about generating a story by tuning some parameters and choosing random words in dictionaries to make sentences. Almost like a Large Language Model, but without the whole machine learning/neural network thing.

Yes. I know. It looks more like a research project than a video game...

Do not ask me about the current state of this project, I am very slow.

Publications

Langage Chips : Modélisation et contrôle de systèmes distribués à base de composants

Article in french published in: Actes des journées Approches Formelles dans l’Assistance au Développement du Logiciel (AFADL), Jun 2025, Pau, France.

This document presents Chips, a modeling language dedicated to the description of component based systems. Its goal is to allow the modeling of software architectures on which control theory is applied. By also making use of concepts from the aggregate programming paradigm, control theory formalism can be extended to crowds of components. The compilation of Chips to other languages such as BIP will permit to apply proofs or model checking over designed applications to ensure the resilience of so-mentionned applications when implemented on real devices.

JUNK

This is where I put whatever I want. Because this is my PERSONAL website, and because I can. So have fun reading about all the sh*t I'm able to share!

My favorite things : (not so) definitive edition

Since I always forget what is my favorite everything, I made a small list.

  • Word: Abrasive
  • Aquatic mammal: Humpback whale
  • Terrestrial mammal: Hoffmann's two-toed sloth
  • Flying mammal: Nathusius's pipistrelle
  • Video game: Transistor
  • Music Group: GRL Wood
  • Puppet: Sun sun
  • Season: Autumn
  • Tree: The one behind the building where I lived during the Covid pandemic
  • Theater Play: The Prince
  • Bird: Peacock
  • Board game: War Chest
  • Letter: A
  • Color: Purple
  • War: NONE. F*CK INSTRUMENTALISED MURDER.
  • Painting: Dream Caused by the Flight of a Bee Around a Pomegranate a Second Before Awakening
  • Dragon: Amareth, the Lustruous
  • Poker hand: Four of a kind
  • Number: SEVEN
  • Novel: The Threads of the Heart
  • Music genre: indie Rock
  • Programming language: C
  • Cloth: Skirt
  • Brand: NONE. F*CK CAPITALISM.
  • Temperature: 21°c
  • Measurement System: metric
  • Drink: Mudslide (a cocktail from a pub that no longer exists)
  • Magic the Gathering Combo: Lotus Field + Pore Over the Pages
  • Kind words: "I'm glad you're in my life."
  • Technology: Language
  • Pokemon type: Faerie
  • Drawing Technique: pinball pen
  • Party activity: Karaoke
  • Concept: Friendship
  • Sorting algorithm: sleep sort