SORBI ANDREA

Office hours

  • Wednesday from 11:00 to 13:00
    Place: Edificio S. Niccolo', Via Roma n.56 - stanza 220

Teaching activities

Completion accademic year: 2020/2021

Course year: 3 First cycle degree (DM 270) MATHEMATICS A.Y. 2018/2019
Course year: 3 First cycle degree (DM 270) MATHEMATICS A.Y. 2018/2019

Completion accademic year: 2019/2020

Course year: 3 First cycle degree (DM 270) MATHEMATICS A.Y. 2017/2018
Course year: 1 Second cycle degree (Laurea Magistrale) APPLIED MATHEMATICS A.Y. 2019/2020
Course year: 3 First cycle degree (DM 270) MATHEMATICS A.Y. 2017/2018

Completion accademic year: 2018/2019

Course year: 3 First cycle degree (DM 270) MATHEMATICS A.Y. 2016/2017
Course year: 1 Second cycle degree (Laurea Magistrale) APPLIED MATHEMATICS A.Y. 2018/2019
Course year: 3 First cycle degree (DM 270) MATHEMATICS A.Y. 2016/2017

Completion accademic year: 2017/2018

Course year: 3 First cycle degree (DM 270) MATHEMATICS A.Y. 2015/2016
Course year: 2 First cycle degree (DM 270) MATHEMATICS A.Y. 2016/2017

Research

Latest publications:

  • Amidei, J., Andrews, U., Pianigiani, D., San Mauro, L., & Sorbi, A. (2019). Trial and error mathematics: dialectical systems and completions of theories. JOURNAL OF LOGIC AND COMPUTATION, 29(1), 157-184. - view more
  • Sorbi, A., & Andrews, U. (2019). Effective inseparability, lattices, and preordering relations. THE REVIEW OF SYMBOLIC LOGIC, 1-28. - view more
  • Andrews, U., & Sorbi, A. (2019). Joins and meets in the structure of ceers. COMPUTABILITY, 8(3-4), 193-241. - view more
  • Andrews, U., & Sorbi, A. (2018). Jumps of computably enumerable equivalence relations. ANNALS OF PURE AND APPLIED LOGIC, 169(3), 243-259. - view more
  • Nies, A., & Sorbi, A. (2018). Calibrating word problems of groups via the complexity of equivalence relations. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 28(3), 457-471. - view more