Head of laboratory: full prof. dr. Janez Brest Telephone: +386 2 220 7452 Fax: +386 2 220 7272
Knowledge center: Center for programming languages