Skip to main content
  • People
  • Esse3
  • Online teaching
  • Libraries
Logo Unitn
  • Italiano
MyUnitn
  • Italiano
MyUnitn

  • Courses
  • Job Opportunities
  • Teaching and learning - First semester 2021/22
  • Teaching and learning - Second semester 2020/21
  • Why study Mathematics?
DEPARTMENT OF
MATHEMATICS
  • Department
    • Organization
    • Staff
    • How to reach us
    • History
    • Job Opportunities
    • Quality
  • Didactics
    • Courses
    • Why study Mathematics?
    • Teaching laboratories
    • Traineeships and stage
  • Research
    • Research areas
    • Research centers
    • Publications
    • Visiting professors and Research in Pairs
  • Services
    • Teaching services
    • Enrolment and career
    • Other services
 
  • Condividi questa pagina
Facebook Google Plus LinkedIn Twitter Mail Whatsapp 
Home | Research | Mathematical Logic and Theoretical Computer Science

Mathematical Logic and Theoretical Computer Science

  • Research areas
  • Research centers
  • Publications
  • Visiting professors and Research in Pairs

Research topics

Mathematical Logic

  • Nonstandard techniques (à la A. Robinson), mostly in functional analysis and related areas.
  • Proof-systems for linear and branching time logics.
  • Extensions of continuous logic by means of modal operators. Real-valued logics with unbounded truth values.
  • Popularization of foundational topics in mathematics.

Theoretical Computer Science

  • Process calculi and concurrency theory
  • Contract languages for distributed systems orchestration (based on logics, automata, event structures, or process calculi)
  • Programming languages theory
  • Static analysis (type systems, type-and-effect systems, control flow analysis, abstract interpretation)

Staff

  • Stefano Baratella - Full Professor
  • Roberto Zunino - Researcher
Department of Mathematics
Via Sommarive, 14 - 38123 Povo (Trento)
Ph. 
+39 0461 281508 - 3898 - 1980
dept.math [at] unitn.it