Dott. Giorgio Bacci
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
