Arnaud is a software developer and architect specialized in modeling technologies. He is actively working on MBSE tooling extensions and add-ons applied to various engineering domains. He has a background in formal methods and code generation applied to safety critical systems and holds a Ph.D. in Reliability for systems and software from INP Toulouse, France.

Software Developer

PhD student in computer science, I am passionate about theoretical computer science, particularly topics related to language manipulation (formal languages, compilation). My preferred programming languages are Java and Scala, but I am also deeply interested in functional languages, including Scala, Haskell, and OCaml. I regularly participate in programming competitions such as BattleCode and BreakTheCode.