IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Germán Delbianco

Germán Delbianco

La información de esta página podría estar desactualizada debido a que Germán Delbianco no es actualmente miembro del Instituto.

Germán Delbianco
BSc - Universidad Nacional de Rosario, Santa Fe, Argentina
Antiguo PhD Student

Página web: https://germand.github.io/
Tutor: Aleks Nanevski

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Short bio

Germán Andrés Delbianco is a Ph.D. candidate at IMDEA Software under the supervision of Aleks Nanevski. His research interests lay somewhere in the intersection of Programming Languages Semantics, Type Theory, Functional Programming, Theorem Proving and the application of Category Theory to Computer Science.

Before joining IMDEA, Germán got a Licenciate in Computer Science degree at Universidad Nacional de Rosario, Argentina in 2010. His thesis topic was Program Calculation with Applicative Functors.

For more information, visit his personal homepage.

Research Interests

Programming Languages Semantics, Functional Programming, Type Theory, Theorem Proving, Category Theory