Ferdinanda CAMPORESI

Ferdinanda Camporesi

PhD student in Computer Science

Équipe Interprétation Abstraite
DI - École Normale Supérieure
45, rue d'Ulm
75 230 Paris Cedex 05 --- France

E-mail: campores@di.ens.fr

I am a Ph.D student in Computer Science, co-supervised by Radhia Cousot and Maurizio Gabbrielli. Actually I am working with Jérôme Feret in static analysis of biological networks by the mean of Abstract Interpretation.

Ongoing projects:

AbstractCell (ANR Chair of Excellence)

Kappa tools distribution:

Kappa tools are now available under GPL license at: http://www.kappalanguage.org.

Working group:

Working group "Computational Biology"

Publications:

Ferdinanda Camporesi, Jérôme Feret. Formal reduction of rule-based models. In Mathematical Foundations of Programming Semantics (MFPS XXVII), in Electronnic Notes in Theoretical Computer Science, volume 276, pp 31--61. © 2011, Elsevier Science.

Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl,& Tatjana Petrov. Combining model reductions. In Mathematical Foundations of Programming Semantics (MFPS XXVI), to appear in Electronnic Notes in Theoretical Computer Science, volume 265, pp 73--96. © 2010, Elsevier Science.

Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl,& Tatjana Petrov. Automatic reduction of stochastic rules-based models in a nutshell. In International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010), numero 1281(2) in American Institute of Physics conference proceedings. 2010, © American Institute of Physics.

Hobbies:

Ferdinanda Camporesi