Marino Miculan's home page

Seminario “Duality for Transition Systems”

Marino — Tue, 21 May 2013 13:33:13 +0000

Il giorno 27 maggio 2013, ore 14:00-15:00, presso l’Aula Multimediale del DIMI, Università di Udine, il prof. Prakash Panangaden (McGill University) terrà un seminario su Duality for Transition Systems.

Abstract
In this talk we consider the problem of representing and reasoning about
systems, especially probabilistic systems, with hidden state. We consider
transition systems where the state is not completely visible to an outside
observer. Instead, there are observables that partly identify the state.
We show that one can interchange the notions of state and observation and
obtain what we call a dual system. The double dual gives a minimal
representation of the behaviour of the original system. We extend this to
nondeterministic systems and to probabilistic transition systems and
finally to partially observable Markov decision processes (POMDPs).

This research began with joint work with colleagues from McGill especially
Doina Precup and Chris Hunt. The recent categorical understanding is
joint work with Clemens Kupke and Nick Bezhanishvili.

Assegno di ricerca su Sicurezza di Femtocelle

Marino — Mon, 06 May 2013 07:15:01 +0000

È disponibile da subito un assegno di ricerca della durata di 12 mesi per uno studio riguardante la sicurezza delle reti cellulari di nuova generazione (UMTS e LTE) basate su femtocelle. L’attività verrà svolta in collaborazione con una nota azienda di sicurezza informatica regionale, e comprende sia un’attività di analisi e progetto, sia una parte di implementazione di un tool prototipale per il testing dei dispositivi di rete (BTS) per le femtocelle.

Il candidato ideale dovrebbe avere buone conoscenze dei protocolli di rete, e possibilmente delle metodologie di testing. Il candidato deve essere in possesso di una laurea specialistica o magistrale in Informatica, Ingegneria Elettronica o Informatica, o equivalenti.

Se vi può interessare, contattatemi al più presto.

Seminario su CLANG

Marino — Fri, 12 Apr 2013 13:54:31 +0000

CLANG è un compilatore per i linguaggi della famiglia C, ma a differenza di GCC e altri compilatori, esso mantiene più informazione nei vari stadi di compilazione. Questo permette uno sviluppo di codice incrementale, una analisi modulare del codice, una decompilazione in codice sorgente del codice LLVM prodotto, ecc.

Su richiesta di alcuni studenti, Matteo Cicuttin e Nicola Gigante si sono offerti di tenere un seminario sugli internals di CLANG. Il seminario è indirizzato sia a chi vuole semplicemente usare CLANG come compilatore, ma soprattutto a chi vuole conoscere la struttura di un compilatore moderno, per poi implementare nuovi moduli di analisi, di debugging, ecc.

Il seminario si terrà martedì 30 aprile, ore 10:30, in Sala Riunioni del DIMI.
Sono anche disponibili le slide del seminario.

Corso “Introduzione alla Teoria delle Categorie”

Marino — Mon, 04 Mar 2013 22:24:25 +0000

Mercoledì 13 marzo inizia il corso di “Introduzione alla Teoria delle Categorie”, per gli studenti della Scuola Superiore. (Ma il corso è aperto anche ai dottorandi e agli studenti magistrali in Informatica o Matematica…)

CALCO 2013 – Extended deadlines

Marino — Mon, 25 Feb 2013 08:07:17 +0000

The CALCO 2013 conference has extended the deadlines for submission. The new deadlines are:

Abstract submission: February 29, 2013
Full paper submission: March 8, 2013

Bigraph 2013

Marino — Sat, 16 Feb 2013 11:55:47 +0000

Attending BIGRAPH 2013 at the IT University, Copenhagen. Pleasantly surprised of many interesting applications of bigraphs that we were not aware of, from architectural refinements to unmanned veichles coordination. Yes, serious stuff.

CINA Kickoff meeting

Marino — Tue, 05 Feb 2013 13:30:57 +0000

I’m in Pisa, participating to the kickoff meeting of the PRIN 2010 project “CINA”. Kickoff meetings are always the best moment of the projects-so many nice people, so many ideas… and not so many negative results yet.

Orientamento ai maturandi del Marinelli

Marino — Mon, 28 Jan 2013 21:21:10 +0000

Oggi ho presentato i corsi di laurea in Informatica e TWM ai maturandi del Marinelli. Chissà quanti ne ho spaventati
Per la prima volta ho usato Prezi per la presentazione, e devo dire che è uno strumento molto interessante. Ha notevoli potenzialità, e si discosta molto dai soliti Powerpoint e Keynote. E per questo è anche più difficile da usare…

Third International Workshop on Bigraphs (Bigraph 2013)

Marino — Sat, 05 Jan 2013 22:26:50 +0000

Do you work on or with bigraphs? Do you want to learn about bigraphs? Then you have to participate to the Third International Workshop on Bigraphs (Bigraphs 2013), to be held at the IT University of Copenhagen on 16 February 2013.
Speakers are invited to submit an abstract of no more than two pages as a proposal for a talk to be given during the workshop. Any research related to bigraphs is within scope. Summaries of work in progress or intended future research are also welcome.
Deadline for submissions: 21 January 2013.
For more details, see the workshop web page.

IMT @ Lucca

Marino — Wed, 28 Nov 2012 23:20:05 +0000

Just spent some days visiting the SysMA group at IMT, Lucca. A quite interesting environment indeed… Since it is a PhD-only institute, it is smaller than standard universities, but nevertheless very active! And I liked the multidisciplinary atmosphere (sciences, economics, cultural heritage, politics, …).
And the city is nice, of course–even with this unusal fog!

Starting something similar is hard, and keeping it growing and improving is harder. So keep up the good work, guys!