Giorgio Bacci: home

Home

Short biography

I'm a Ph.D. Student in Computer Science at the University of Udine (Cycle XXIV) under the supervision of Marino Miculan.
I was born in Pordenone, Italy, on April 29th, 1983. I received the Bachelor's degree (Laurea Triennale) and Master degree (Laurea Specialistica) in Computer Science at the University of Udine, in October 2005 and 2008, respectively, both with full marks (110/110 cum laude).

curriculum vitae:

(updated 2012)

Research interests

My research is mostly about formal methods and sematic models for concurrency theory, with applications in the field of Systems Biology. The main aim of this research area is to convey formal automatic methodologies to biology, in order to give biologists tools which can help them in understanding how cells behave.
Living cells are extremely well-organized systems, consisting of discrete interacting components. Difficulties in understanding how a cell works arise from the extremely rich number of possible interactions that can occur between components.

From an information science point of view, biological systems can be seen as concurrent processes where components act as interacting agents. This way of looking at biology seems very promising, indeed important results from concurrency theory can be applied, such as formal model descriptions of biological systems, automatic verification (model checking, control flow analysis, abstract interpretation, etc.), behavioural equivalence checking, and computer-aided reasoning (using stochastic simulators or other techiques).

Contact informations

affiliation:	Department of Mathematics and Computer Science, University of Udine
address:	Via delle Scienze 208, 33100 Udine, Italy
office:	SS4 (South side, Second floor, Room 4), L2-05-ND (building map)
phone:	+39 0432 5584 (11)
fax:	+39 0432 5584 (99)
e-mail:	@
skype:	chat with me!
google+:	add me!