Foto del docente

Andrea Condoluci

PhD Student

Department of Computer Science and Engineering

Teaching tutor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Curriculum vitae

Ph.D. student at Università di Bologna since 2016, their research focus is logic and theoretical computer science. Their main research topics include the lambda calculus, type theories, and proof assistants.

Education

They graduated in 2013 in Mathematics at Università degli Studi di Padova (Padua, Italy), with Silvio Valentini as a supervisor.

In 2016 they graduated from the European Master's Program in Computational Logic (supervisor: Alexander Leitsch), obtaining a degree from Technische Universität Dresden (Germany), Technische Universität Wien (Austria), Free University of Bozen-Bolzan (Italy).

Visiting student in 2015 at NICTA (now DATA61) in Canberra (Australia), working with Michael Norrish on inductive and co-inductive datatypes in the HOL theorem prover.

Visiting Ph.D. student in 2017 at INRIA Saclay (Paris, France), working with Beniamino Accattoli on efficient implementations of lambda calculus.

Scholarships

In 2014 they received an Erasmus Mundus scholarship for full-time enrollment in the European Master's Program in Computational Logic, for a duration 24 months.

In 2017 they received an incentivo Marco Polo for a research project in collaboration with INRIA Saclay (Paris, France), for a duration of 6 months.

Teaching

Tutor at Programmazione 1 (Bachelor's degree in Computer Science at unibo) academic year 2016/2017

Tutor at Logica per l'Informatica (Bachelor's degree in Computer Science at unibo) academic year 2018/2019

Tutor at Algoritmi e Strutture Dati (Bachelor's degree in Computer Science at unibo) academic year 2018/2019

Latest news

At the moment no news are available.