Skip to content

Free University of Bozen-Bolzano

Tenured associate professors | Formal Languages and Compilers, Logic

Alessandro Artale

Alessandro.Artale@unibz.it

+39 0471 016150

BZ P2.03
Faculty of Computer Science
Dominikanerplatz 3 - piazza Domenicani, 3
39100
Bozen-Bolzano

Courses

Discrete Mathematics and Logic

75036 · M-FIL/02 · Bachelor in Computer Science and Engineering · EN

Formal Languages and Compilers

75016 · INF/01 · Bachelor in Computer Science and Engineering · EN

Main Research Areas

Description Logic, Temporal Logic

Feedback / Request info