News & Events

Seminario “Gestire la complessità dei moderni sistemi software industriali”

Come di consueto, alla fine del corso di Reti di Calcolatori proponiamo un seminario con interventi dal mondo dell’industria. Titolo: Gestire la complessità dei moderni sistemi software industriali Luogo e ora: Aula I, mercoledì 20 marzo dalle 16:30 alle 18:30 circa Speaker: Andrea Baruzzo (UniUD)Mauro Rocchi e Giacomo Alzetta (Cybaze) Abstract: Le tecnologie, gli strumenti e […]

0 comments

Assenza 18-22/02/2019

Per studenti e laureandi: sarò assente dal 18 al 22 febbraio 2019 per partecipare al convegno Microservices 2019

0 comments

Workshop “Code is Law” vs “Law is Code”: Il caso degli Smart Contracts

Ho l’onore di partecipare al workshop “Code is Law” vs “Law is Code”: Il caso degli Smart Contracts che si terrà lunedì 4 febbraio 2019 ore 16, presso l’Aula E del Polo Economico-Giuridico (Via Tomadini 30/A, Udine). Maggiori informazioni alla pagina dell’evento.

0 comments

New paper “Constructive logical characterizations of bisimilarity for reactive probabilistic systems”

The paper “Constructive logical characterizations of bisimilarity for reactive probabilistic systems”, by Marco Bernardo and myself, has been published on Theoretical Computer Science (online, for the time being).

0 comments

Internship at Electrolux GC&T: ” Anomaly detection in embedded electronic systems”

Pubblico questa proposta di stage/tirocinio con tesi presso il team Global Connectivity and Technology (GC&T) della Electrolux (Porcia). La proposta di tirocinio è principalmente orientata a studenti della laurea magistrale in Informatica o Computer Science, ma anche studenti della laurea triennale adeguatamente motivati possono fare domanda. Se siete interessati, contattatemi via email.  In the IoT era, household […]

0 comments

One year industrial research position at the University of Udine (deadline: 10 Oct 2018)

One year industrial research position at the University of Udine about Modelling and performance evaluation of train on-board networks Funded by EU FSE program HEaD Deadline for application: October 10, 2018, 11:30. Subject Nowadays trains feature advanced on-board information networks which are used both for essential services and for additional (infotainment) services, and must guarantee […]

0 comments

Qualche statistica su Reti di Calcolatori 2017-18

Come di tradizione, adesso che si è chiuso anche l’ultimo appello di Reti di Calcolatori per l’A.A. 2017-18 possiamo fare qualche veloce analisi. Nei cinque appelli del 2018 si sono iscritti ad almeno un appello 162 studenti (+13 rispetto al 2017; 8,7%), per complessive 310 iscrizioni (+49; +18,7%). Si sono registrate 245 presenze agli scritti […]

0 comments

2018 EUTypes Summer School on Types for Programming and Verification

The EUTypes Summer School is a well-established school aiming to provide advanced training, especially to PhD students and early-career researchers, in all aspects of the theory and practice of type theory and applications. The call for grants is open until June 20, so if you are interested, apply now!

0 comments

Conferenza “Bitcoin e crittovalute: dal catasto tavolare alla blockchain”

Giovedì 7 giugno ho tenuto una conferenza intitolata “Bitcoin e crittovalute: dal catasto tavolare alla blockchain“, presso il MIB di Trieste, su invito dell’Ordine degli Ingegneri di Trieste. Grazie a tutti i partecipanti!

0 comments

Assenza 16-19 aprile

Sarò assente dall’ufficio dal 16 al 19 aprile in quanto sarò a tenere alcune lezioni riguardo “Blockchain, Cryptocurrency and Smartcontracts” presso il MSc in Finance and Management alla Cranfield University.

0 comments