6 — Albero di navigazione del sito 2 — Salta al contenuto

Università  degli Studi di Udine

Dipartimento di Matematica e Informatica - Università  degli studi di Udine
A | A | A   
Tu sei qui: Portale Members Giorgio Bacci

Dott. Giorgio Bacci

email:
Telefono +39 0432 558411
Stanza: NS 04
Sito web personale: http://sole.dimi.uniud.it/~giorgio.bacci


Breve curriculum

TITOLI DI STUDIO

  • Bachelor's degree (Laurea Triennale) in Computer Science: 110/110 cum laude (University of Udine, October 2008);
  • Master degree (Laurea Specialistica) in Computer Science: 110/110 cum laude (University of Udine, October 2005)

Master degree Thesis

title: Bigraphical Models for Biological Systems
relatore: Prof. Marino Miculan
Abstract: We present a bigraphical framework suited for modeling biological systems both at protein level and at membrane level. We characterize formally bigraphs corresponding to biologically meaningful systems, and bigraphic rewriting rules representing biologically admissible interactions. At the protein level, these bigraphic reactive systems correspond exactly to systems of kappa-calculus. Membrane-level interactions are represented by just two general rules, whose application can be triggered by protein-level interactions in a well-defined and precise way.

Attivita' di ricerca

  • Formal methods
  • Systems Biology
  • Category theory
  • Algebraic and Coalgebraic modeling

Progetti di ricerca

member of SisteR project (PRIN 2008), prot. 20088HXMYN





Dipartimento di Matematica e Informatica
via delle Scienze 206 - 33100 UDINE
Tel +39-0432-558400 - Fax +39-0432-558499
email: info chiocciola dimi punto uniud punto it