Skip to content

Home

Simons Institute for the Theory of Computing

Search form

  • Home
  • About
    • Overview
    • Contact
    • Calvin Lab
  • People
    • Overview
    • Scientific Leadership
    • Staff
    • Current Long-Term Visitors
    • Research Fellows
    • Postdoctoral Researchers
    • Scientific Advisory Board
    • Governance Board
    • Industry Advisory Council
    • Affiliated Faculty
    • Science Communicator in Residence
    • Law and Society Fellow
  • Programs & Events
    • Overview
    • Programs
    • Workshops & Symposia
    • Research Pods
    • Internal Program Activities
    • Public Lectures
    • Participate
  • Visiting
    • Overview
    • Directions
    • Berkeley & the Bay Area
    • Accommodation
    • Visas
    • Families
    • IT Guide
    • Bicycle Loans
    • Code of Conduct
  • Support
    • Overview
    • Simons Foundation
    • Industrial Partnership
    • Academic Partners
    • Donate
    • Richard M. Karp Fund
  • Watch / Read
    • SimonsTV
    • Program Reports
    • News Stories
    • Calvin Café (blog)
  • Calendar

You are here

  1. ‹ Home
  2. ‹ People
  3. ‹ Current Long-Term Visitors

Ilario Bonacina

Postdoctoral Researcher, Universitat Politècnica de Catalunya
Website

Ilario Bonacina is a Postdoctoral Researcher, working with Albert Atserias in the Department of Ciències de la Computació of the UPC Barcelona Tech. Ilario is interested in computational complexity, mathematical logic and in particular in proof complexity.

Program Visits

  • Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Postdoc.
  • Overview
  • Scientific Leadership
  • Staff
  • Current Long-Term Visitors
  • Research Fellows
  • Postdoctoral Researchers
  • Scientific Advisory Board
  • Governance Board
  • Industry Advisory Council
  • Affiliated Faculty
  • Science Communicator in Residence
  • Law and Society Fellow

Privacy Terms of Use Contact Subscribe

© 2013–2020 Simons Institute for the Theory of Computing. All Rights Reserved. ^ top