News & Events

Tesi, Tirocini e Posizioni in Security presso Cybaze

La Cybaze (che ha recentemente acquisito Emaze Networks) è disposta ad ospitare, presso la sede di Trieste, tesisti triennali interessati allo sbocco professionale come IT Security Analyst Consultant per Security Operation Center (SOC). Gli interessati dovranno sviluppare dei tool SW che sono funzionali all’attività degli analisti. Inoltre, sono alla ricerca di giovani da avviare alla […]

0 comments

Conferenza “Il potere digitale: come internet sta cambiando la sfera pubblica, l’economia e la democrazia”

Sabato 18 maggio 2019 sono invitato dal Circolo della Stampa di Pordenone a partecipare alla tavola rotonda “Il potere digitale: come internet sta cambiando la sfera pubblica, l’economia e la democrazia”, assieme a Gabriele Giacomini e ai giornalisti Pier Paolo Simonato e Sergio Maistrello. Grazie in anticipo a tutti quelli che parteciperanno all’incontro.

0 comments

One year research position at the University of Udine (deadline: April 10, 2019)

One-year 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: Aprile 10, 2019, 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 an adequate […]

0 comments

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

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