Gianluigi Bellin

Foto,  March 15, 2016
E-mail
gianluigi|bellin*univr|it <== Replace | with . and * with @ to have the right email address.
Not present since
December 31, 2016
Note
 

Modules

Modules running in the period selected: 19.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's degree in Mathematics Mathematical logic (2013/2014)   6   
Bachelor's degree in Biotechnology Philosophy of Science (2013/2014)   6   
Master's degree in Mathematics Mathematics methods for computer science (2012/2013)   6    (Parte 2)
Bachelor's degree in Biotechnology Philosophy of Science (2012/2013)   6   
Master's degree in Mathematics Mathematics methods for computer science (2011/2012)   6    (Parte 2)
Bachelor's degree in Biotechnology Philosophy of Science (2011/2012)   6  eLearning
Bachelor's degree in Biotechnology Philosophy of Science (2010/2011)   6  eLearning
Master's degree in Computer Science and Engineering Foundations of Computing (2009/2010)   12    LOGICA COMPUTAZIONALE
Bachelor's degree in Biotechnology Philosophy of Science (2009/2010)   6   
Masters in Computer Science computational logic (2008/2009)   5   
Masters in Computer Science computational logic (2007/2008)   5   
Masters in Computer Science Automated Deduction (2005/2006)   5   
Masters in Computer Science Logic II (2004/2005)   5     
Masters in Computer Science Automated Deduction (2003/2004)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Basic Mathematics (2003/2004)   4     
Masters in Computer Science Automated Deduction (2002/2003)   5     
Bachelor in Computer Science (old system) Automated Deduction (2001/2002)   1     
Bachelor in Computer Science (old system) Artificial Intelligence (1999/2000)   1     
Bachelor in Computer Science (old system) Foundations of Computing: Computational Complexity (1999/2000)   1     

 

Research groups

Logica
Logica in matematica ed informatica.
Skills
Topic Description Research area
General logic Discrete and computational mathematics
Mathematical logic and foundations
Proof theory and constructive mathematics Proof theory at large studies mathematical proofs, which thus become themselves objects of mathematics. In a nutshell, the goal is to understand "what can be proved with what" and to gain computational information from proofs. Constructive mathematics aims at direct proofs from which one can read off algorithms; any such algorithm comes with a certificate of correctness for free, which just is the original proof. Discrete and computational mathematics
Mathematical logic and foundations
Teoria della dimostrazione e teoria dei tipi Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare Theory of computation
Formal languages and automata theory
Projects
Title Starting date
Logica e computazioni: sintassi, semantica e interazione (PRIN 2004) 11/30/04





Organization

Department facilities