Inizio della pagina -
Logo DISCO
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
Logo Ateneo
   
Antonio E. Porreca’s Home Page

Antonio E. Porreca, Ph.D. student
Dipartimento di Informatica, Sistemistica e Comunicazione
Università degli Studi di Milano-Bicocca
Viale Sarca 336/14, 20126 Milano, Italy
Email ⟨porreca@disco.unimib.it
Twitter @aeporreca

I am a second-year Ph.D. student (cycle xxiv) in Computer Science at Dipartimento di Informatica, Sistemistica e Comunicazione (DISCo) of Università degli Studi di Milano-Bicocca, where I obtained both my B.Sc. and M.Sc. degrees in 2005 and 2008 respectively.

My research interests lie in the intersection between the fields of complexity theory (which investigates the intrinsic difficulty of computational problems) and membrane computing (a branch of natural computing initiated by Gheorghe Păun and drawing inspiration from the way biological cells “compute”). Both my B.Sc. final report and my M.Sc. thesis were written about this topic under the supervision of prof. Claudio Zandron and prof. Giancarlo Mauri.

I am currently investigating space complexity for membrane systems (see papers [3, 4] below) and its relationship with other features of these computing models (particularly nondeterminism and membrane division) or traditional ones such as Turing machines.

I am also interested in the general theory of computation, mathematical logic and functional programming, although at present I am not planning to do research in these fields.

Courses

I have attended the following courses at DISCo so far:

  • Modelli di Calcolo e Complessità Computazionale (Computing Models and Computational Complexity) held by prof. Giancarlo Mauri. Here (PDF, 117 KiB) you can find the slides for the talk Non-confluent P systems with active membranes which I gave to fulfil the exam requirements; the results I presented are published in paper [5] below.
  • Informatica Teorica (Theoretical Computer Science) held by prof. Lucia Pomello, a course mainly focused on the theory of concurrent systems (Petri nets in particular).

On March 2–13, 2009 I attended Bertinoro international Spring School 2009, which offered the following courses:

Events

On February 2–6, 2009 I attended the Seventh Brainstorming Week on Membrane Computing (BWMC 2009) held in Universidad de Sevilla, Spain. There I gave my first talk Space complexity for P systems, proposing a definition of space complexity for membrane systems and some directions for future research on this topic. You can find the slides here (PDF, 145 KiB).

On August 24–27, 2009 I attended the Tenth Workshop on Membrane Computing (WMC10) in Curtea de Argeş, Romania. There I gave the talk An efficient simulation of polynomial-space Turing machines by P systems with active membranes (slides, PDF, 130 KiB). Our paper [5] and On the power of computing with proteins on membranes, by Petr Sosík, Andrei Păun, Alfonso Rodríguez-Patón, and David Pérez, tied for the Best Paper Award.

On September 28, 2009 I attended the Unconventional Models of Computation colloquium in honour of prof. Giancarlo Mauri, held in the Cremona branch of Politecnico di Milano.

On February 1–5, 2010 I attended the Eight Brainstorming Week on Membrane Computing (BWMC 2010) held in Universidad de Sevilla, Spain. There I gave the talk Do complexity classes for P systems have complete problems? (slides, PDF, 104 KiB), discussing the existence of complete problems for complexity classes defined in terms of P systems with active membranes (particularly those which still lack a characterisation in terms of Turing machines).

Papers

[1] Antonio E. Porreca, Giancarlo Mauri, Claudio Zandron, Complexity classes for membrane systems, RAIRO Theoretical Informatics and Applications 40(2), 141–162, 2006 (preprint, PDF, 180 KiB).

[2] Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron, Introducing a space complexity measure for P systems, in Rosa Gutiérrez-Escudero, Miguel Angel Gutiérrez-Naranjo, Gheorghe Păun, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez (eds.), Proceedings of the Seventh Brainstorming Week on Membrane Computing, volume II, 213–223, Fénix Editora, Sevilla, 2009 (preprint, PDF, 151 KiB).

[3] Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron, Introducing a space complexity measure for P systems, International Journal of Computers, Communications & Control 4(3), 301–310, 2009 (preprint, PDF, 147 KiB). Final version of [2].

[4] Andrea Valsecchi, Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron, An efficient simulation of polynomial-space Turing machines by P systems with active membranes, in Gheorghe Păun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez (eds.), Pre-proceedings of the Tenth Workshop on Membrane Computing, 489–506, 2009 (preprint, PDF, 221 KiB). Tied for the Best Paper Award.

[5] Antonio E. Porreca, Giancarlo Mauri, Claudio Zandron, Non-confluence in divisionless P systems with active membranes, Theoretical Computer Science 411(6), 878–887, 2010 (preprint, PDF, 187 KiB).

[6] Andrea Valsecchi, Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron, An efficient simulation of polynomial-space Turing machines by P systems with active membranes, in Gheorghe Păun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa (eds.), Membrane Computing, 10th International Workshop, WMC 2009, Lecture Notes in Computer Science 5979, 461–478, 2010 (preprint, PDF, 197 KiB). Final version of [4].

[7] Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron, P systems with active membranes: Trading time for space, Natural Computing, to appear (preprint, PDF, 110 KiB).

[8] Antonio E. Porreca, Alberto Leporati, Claudio Zandron, On a powerful class of non-universal P systems with active membranes, submitted (preprint, PDF, 197 KiB).

[9] Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron, Complete problems for a variant of P systems with active membranes, submitted (preprint, PDF, 163 KiB).

Other writings

[1] Review of the book Algorithmic Adventures: From Knowledge to Magic by Juraj Hromkovič (PDF, 123 KiB).

My recent posts on Twitter

This page was last updated on April 15, 2010.


Approfondimenti
  • Per informazioni

Google Translate
Translate to English Translate to French Translate to German Translate to Spanish Translate to Chinese Translate to Portuguese Translate to Arabic
Translate to Albanian Translate to Bulgarian Translate to Croatian Translate to Czech Translate to Danish Translate to Dutch Translate to Finnish Translate to Greek Translate to Hindi
Translate to Hungarian Translate to Irish Translate to Japanese Translate to Korean Translate to Norwegian Translate to Polish Translate to Romanian Translate to Russian Translate to Serbian
Translate to Slovenian Translate to Swedish Translate to Thai Translate to Turkish

(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - ultimo aggiornamento di questa pagina 23/12/2011