Portale Docenti

TESEI LUCA

Insegnamenti / Teachings

A.A. 2023/2024
  • [ST1344] LANGUAGES AND COMPILERS (COMPUTER SCIENCE)
  • [ST1344] LANGUAGES AND COMPILERS (INFORMATICA)
  • [ST0495] ALGORITHMS AND DATA STRUCTURES (**)
  • [ST0853] ALGORITHMS AND DATA STRUCTURES (COMPUTER SCIENCE)
  • [ST0853] ALGORITHMS AND DATA STRUCTURES (INFORMATICA)
  • [ST1450] SECURITY BY DESIGN (COMPUTER SCIENCE)
A.A. 2022/2023
  • [DOCS009] Advanced Techniques for System Verification (**)
  • [ST0495] ALGORITHMS AND DATA STRUCTURES (**)
  • [ST0853] ALGORITHMS AND DATA STRUCTURES (COMPUTER SCIENCE)
  • [ST0853] ALGORITHMS AND DATA STRUCTURES (INFORMATICA)
  • [ST1344] LANGUAGES AND COMPILERS (COMPUTER SCIENCE)
  • [ST1344] LANGUAGES AND COMPILERS (INFORMATICA)
  • [ST1450] SECURITY BY DESIGN (COMPUTER SCIENCE)
A.A. 2021/2022
  • [ST0853] ALGORITHMS AND DATA STRUCTURES (COMPUTER SCIENCE)
  • [ST0853] ALGORITHMS AND DATA STRUCTURES (INFORMATICA)
  • [ST1344] LANGUAGES AND COMPILERS (COMPUTER SCIENCE)
  • [ST1344] LANGUAGES AND COMPILERS (INFORMATICA)
  • [ST1192] SYSTEMS VERIFICATION LAB (COMPUTER SCIENCE)
  • [DOCSM009] Advanced Techniques for System Verification (COMPUTER SCIENCE AND MATHEMATICS)