Andréa Condoluci
Quantitative Researcher
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolAndréa Condoluci is a quantitative researcher and PhD-trained programming languages specialist based in Paris with 11 years of experience bridging theory and production. Her work blends deep formal-methods expertise—λ-calculus, coinduction, and theorem proving—with practical engineering in Haskell, OCaml, Coq, Python and TypeScript. She has shipped language and runtime-level improvements (including work on a Haskell-to-WebAssembly compiler and optimizations for garbage collection and timing) and contributed to widely used open-source projects like OpenSheetMusicDisplay and HOL. At BNP Paribas she applies formal, analytical thinking to quantitative problems while retaining a hacker’s curiosity and appetite for elegant, provable solutions. Raised in rural South Italy and trained across multiple European institutions, she brings rare cross-cultural depth and a persistent interest in decentralisation, feminism, and the social implications of technology.
11 years of coding experience
5 years of employment as a software developer
Vienna University of TechnologyEuropean Master's Program in Computational Logic, Computational Logic, European Master's Program in Computational Logic, Computational Logic at Technische Universität DresdenElectronic Music, Electronic Music at Conservatorio G.B. Martini BolognaEuropean Master's Program in Computational Logic, Computational Logic, European Master's Program in Computational Logic, Computational Logic at Free University of Bozen - BolzanoBachelor of Science (B.Sc.), Mathematics, Bachelor of Science (B.Sc.), Mathematics at Università degli Studi di Padova
English, French, German, Italian
Stackoverflow
333reputation
13kreached
12answers
1question
Github Skills (38)
lambda-calculus10
javascript10
music-notation10
typescript10
sml10
compiler-compiler10
vexflow10
xml-parsing10
typescript-types10
ghc10
compiler10
theorem-proving10
musicxml10
functional-programming10
webassembly10
Programming languages (8)
Github contributions (5)
opensheetmusicdisplay/opensheetmusicdisplay
Mar 2016 - Sep 2016
OpenSheetMusicDisplay renders sheet music in MusicXML format in your web browser based on VexFlow. OSMD is brought to you by PhonicScore.com.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:198 commits, 1 PR, 146 pushes in 6 months
Contributions summary:Andréa contributed to the development of the OpenSheetMusicDisplay library by implementing core functionalities, including preliminary scaffolding and the addition of configuration files. They implemented XML parsing, likely for importing and rendering MusicXML files. The user was also involved in setting up and configuring testing environments, including tests for the XML interface and the integration of a karma test framework, demonstrating their skills in building and maintaining a robust music notation rendering library.
musicxmlmusic-notationweb-browsersheet-musicmusic-composition
tweag/asterius
Jan 2020 - Apr 2020
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Role in this project:Back-end Developer
Back-end DeveloperContributions:23 commits, 15 PRs, 149 pushes in 2 months
Contributions summary:Andréa primarily worked on the Asterius project, which focuses on compiling Haskell code to WebAssembly. Their contributions involved implementing a Performance API, enhancing the JavaScript runtime, and optimizing code related to time measurements. They also fixed bugs and improved the accuracy of the time-related functions, ensuring compatibility across Node.js and browser environments. Additionally, the user implemented selector optimizations and introduced improvements to generational garbage collection.
mergedghcrusthaskellwebassembly
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.