Giulio Caravagna

Ph.D. Student in Computer Science

I am a Ph.D. student at the University of Pisa since 2008.

Contact Information

	University of Pisa
Address:	Dipartimento di Informatica Universita di Pisa Largo B. Pontecorvo 3 56127 Pisa, Italy
Room number:	343 BN (map)
Telephone:	+39 050 221 3143
E-mail:	caravagn@di.unipi.it
Unimap:	here

News and Events

In the Talks section you can download the slides of my Ph.D. Progress Report presentation.
Didattica CdL Informatica: Online la quinta lezione sulla programmazione in C per il Corso di "Programmazione I e Laboratorio".
Didattica CdL Informatica: Online la terza e la quarta lezione sulla programmazione in C per il Corso di "Programmazione I e Laboratorio".
Didattica CdL Informatica: Online la seconda lezione sulla programmazione in C per il Corso di "Programmazione I e Laboratorio".
Didattica CdL Informatica: Online la prima lezione sulla programmazione in C per il Corso di "Programmazione I e Laboratorio".
Didattica CdL Informatica: Online l'esercitazione su Grammatiche Context Free e Teorema di Ricorsione per il Corso di "Programmazione I e Laboratorio".
Eindhoven, November 2009, partecipating at the 2nd International Workshop on Computational Models for Cell Processes (CompMod 2009)
Pisa, September 2009, Ph.D. public research seminar, see "Talks" for slides.
Curtea De Arges, August 2009, partecipating at the 10th. Workshop On Membrane Computing (WMC10)
Milan, August 2009, visiting the European Institute of Oncology
London, June 2009, visiting the Mobility Reading Group at Imperial College
Milan, May 2009, Joint Workshop between European Institute of Oncology and University of Pisa
Sevilla, February 2009, Seventh Brainstorming Week on Membrane Computing (BWMC 2009)
Pisa, January 2009, Ph.D. Thesis Proposal, see "Talks" for slides.
Pisa, October 2008, Ph.D. Lunchtime Seminar, see "Talks" for slides.
Bertinoro, June 2008, SFM-08:Bio - Int. School on Computational Systems Biology.
Web, April 2008, I created my blog at wordpress.com.
Bertinoro, March 2008, BiSS 2008 - Bertinoro international Spring School.
Pisa, October 2007, (mini)workshop on computational approaches to Biology (Galileo Galilei school).

Biographic Notes and Education

Ph.D. student with scholarship since January 2008, University of Pisa;
Contract holder, November - December, 2007, Department of Computer Science, University of Pisa;
M.Sc. cum laude in Computer Science, University of Pisa, 2007;
B.Sc. cum laude in Computer Science , University of Pisa, 2005;
My curriculum vitae is avalaible on request.

Research Fields of Interest

Formal Methods and Systems Biology;
Simulation of Biological Systems;
Natural Computing.

Projects

BISCA - Biologically Inspired Systems and Calculi and their Applications (MiUR PRIN 2006).
BIOSIMS - Simulators for Biological Systems.

List of Publications (@DBLP, @CiteSeer, @Google Scholar)

Journals

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini and P.Milazzo
"P Systems with Endosomes" [pdf] [@IJCCC]
Int. J. of Computers, Communications & Control, Vol. IV (2009), No. 3, pp. 214-223.

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini and P.Milazzo
"An Intermediate Language for the Stochastic Simulation of Biological Systems" [pdf] [@TCS]
Theoretical Computer Science 410 (2009), pp. 3085-3109

Conferences and Workshops Proceedings

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini and P.Milazzo
"On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems" [pdf] [@EPTCS]
Proceedings of the 2nd Int. Workshop on Computational Models for Cell Processes (CompMod 2009), EPTCS 6, Eindhoven, Holland, 2009.

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini and P.Milazzo
"P Systems with Endosomes" [pdf] [@Univ.Seville]
7th Brainstorming Week on Membrane Computing (BWMC09), Seville, Spain, February 2009.

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini, P.Milazzo and G.Pardini
"The Calculus of Looping Sequences" [pdf] [@LNCS]
Chapter in: M.Bernardo, P.Degano and G.Zavattaro (Eds.): Formal Methods for Computational Systems Biology (SFM 2008), Springer LNCS 5016, pages 387-423, 2008.

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini and P.Milazzo
"An Intermediate Language for the Simulation of Biological Systems" [pdf] [@ENTCS]
1th. Int. Workshop From Biology to Concurrency and Back (FBTC'07), Elsevier ENTCS 194 (3), pages 19-34, Lisbon, Portugal, September, 2007.

Thesis

G.Caravagna
"Formal Modeling of Biological Systems With Delays" [pdf]
Ph.D. Thesis Proposal, Department of Computer Science, University of Pisa, 2009

G.Caravagna
"An Intermediate Language for the Simulation of Biological Systems" [pdf] [@unipi]
Master Thesis, Department of Computer Science, University of Pisa, 2007
Advisors: Prof.R.Barbuti, Dott.P.Milazzo

G.Caravagna
"Progettazione e Realizzazione di un Simulatore di Sistemi Biologici" [pdf]
Bachelor Thesis, Department of Computer Science, University of Pisa, 2005
Advisors: Prof.R.Barbuti, Prof.A.Maggiolo Schettini, Dott.P.Milazzo

Drafts

R.Barbuti, G.Caravagna, A.D'Onofrio and P.Milazzo
"Antitumour Immune Surveillance Through Stochastic Oscillations" [pdf]
Submitted.

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini and P.Milazzo
"A Delay Stochastic Simulation Algorithm with Delayed Propensity Functions" [pdf]
Draft.

Talks

Formal Modeling of Biological Systems With Delays.

On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems.

Formal Modeling of Biological Systems With Delays.

On the efficiency of promoters and of cooperative rules in Membrane Systems.

Formal Modeling and Simulation of Biological Systems.

Stochastic Simulation of Biological Systems.

P Systems With Endosomes.

Formal Modeling of Biological Systems With Delays.

A Delayed Chemical Master Equation and Delayed Stochastic Simulation Algorithms.

An Intermediate Language for the Simulation of Biological Systems.

"An Intermediate Language for the Simulation of Biological Systems"

Stochastic Calculus of Looping Sequences

Hierarchy and Concurrency in Finite State Machines

Bloom Filters: General Theory and Variants

The Fragment Assembly Problem in DNA Sequencing

"Progettazione e realizzazione di un simulatore di sistemi biologici"

Didattica

Corso di "Programmazione I e Laboratorio", Corso di Laurea in Informatica, a.a. 2009/10.
- Esercitazione su Grammatiche Context Free e Teorema di Ricorsione
- Esempi di programmi in C: struttura di un programma, dichiarazione di variabili, printf, scanf, for ed if. Scarica questo archivio.
- Esercizi di programmazione in C sugli array.
- Esempi di programmai in C: puntatori, allocazione dinamica, aritmetica dei puntatori. Scarica questo archivio.
- Come esercizio per la prossima lezione e' sufficente svolgere gli esercizi assegnati la lezione precedente utilizzando puntatori ed allocazione dinamica di array di dimensione N, dove N e' un parametro letto da tastiera.
- Le slides sulla gestione dinamica della memoria ed i puntatori, presentate nella lezione tenuta da Daniele Sgandurra, le potete scaricare qui.
- Esempi di programmazione in C: definizioni di funzioni, strutture e programmazione su liste. Scarica questo archivio.
- Come esercizio potete definire le classiche operazioni su liste che avete visto in aula: creazione dinamica, ricerca di elementi, inserzione e cancellazione.
- L'esercizio da svolgere in laboratorio e' il seguente. Una bozza della soluzione.

Photos

Page maintained by Giulio Caravagna

Last update: "..."