dr hab.

Lorenzo Clemente

prof. ucz.

Overview

(in Polish) profesor uczelni in Institute of Informatics

(in Polish) brak zajęć dydaktycznych

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

2024Z - Languages, automata and computations II 1000-2M15ZTA: Classes (group 2)

2024 - (in Polish) Języki, automaty i obliczenia 1000-2D23JAO: Seminar (group 1)

2025L - Formal verification 1000-2M25WER: Classes (group 1), Lecture (group 1)

2025L - Research project 1000-218bPRB: Project (group 3)

2025 - (in Polish) Języki, automaty i obliczenia 1000-2D23JAO: Second cycle diploma seminar (group 1)

First names

Lorenzo

Surname

Clemente

Degrees and titles

dr hab. prof. ucz.

PBN ID

5e709434878c28a0473b821c

55-44-573

Banacha 2C, 02-097 Warszawa (Ochota), room 03.111

https://orcid.org/0000000305789103

email address is hidden

send a message to the user