Lorenzo Clemente

First names

Lorenzo

Surname

Clemente

Degrees and titles

PBN ID

273354

55-44-573

Banacha 2, 02-097 Warszawa, room 5730

email address is hidden

send a message to the user

Overview

(in Polish) adiunkt in Institute of Informatics

(in Polish) brak zajęć dydaktycznych

Automata theory, logic, infinite-state systems, separability, games

2019Z - Program semantics and verification 1000-215bSWP: Class (group 3)

2020L - Logics for computer scientists 1000-217bLOG: Class (group 1)

2020Z - Program semantics and verification 1000-215bSWP: Class (group 3)

2019L - Logics for computer scientists 1000-217bLOG: Class (group 3)