Andrea Condoluci

PhD in Computer Science & Logic

A picture of Andrea's face

I am a software engineer at Tweag I/O and a researcher on the theory of programming languages. My main interests are interpreters, optimising compilers, certified programming, and formal methods in general. At night, I dream about the nature of computation, and how to decentralize and democratize internet services.


🏃‍♀️ Currently

Software Engineer

2019 - ⏱
Tweag I/O Software Innovation Lab

🎓 Education

PhD in Computer Science

2016 - 2019

European MSc in Computational Logic

2014 - 2016

BSc in Mathematics

2009 - 2013
Università degli Studi di Padova
Type Theory · Mathematical Logic · Foundation of Mathematics

🌴 Internships

INRIA, 🇫🇷 Paris Saclay

2017
Parsifal Team

Data61, 🇦🇺 Canberra

Aug - Oct 2015
Software Systems Group
Co-Inductive Predicates in HOL

👩‍🚀 Work Experience

Freelance Frontend Developer

I worked on Open Sheet Music Display, an open source library written in TypeScript that displays sheet music in the browser

📖 Publications

Sharing Equality is Linear

ARXIV · DOI
Andrea Condoluci, Beniamino Accattoli and Claudio Sacerdoti Coen
PPDP 2019 (October, 7, 2019 Porto, Portugal)

Crumbling Abstract Machines

ARXIV · DOI
Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri and Claudio Sacerdoti Coen
PPDP 2019 (October, 7, 2019 Porto, Portugal)

Admissible Tools in the Kitchen of Intuitionistic Logic

DOI
Andrea Condoluci and Matteo Manighetti
CL&C 2018 (July, 7, 2018 Oxford, UK)

Relational Data Across Mathematical Libraries

DOI
Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, and Makarius Wenzel
CICM 2019 (July 8-12, 2019 Prague, Czech Republic)