Skip to main page content - your browser does not fully support our CSS, or is text-only.
Computing Science and Mathematics



A picture of Dr Andrea Bracciali

Dr Andrea Bracciali

SICSA Lecturer




Welcome.

Please, see below for contacts.
(or visit my old page for __not__ updated information).

TEACHING

In the Spring semester I am teaching CSC9Y4 and CSC9T6.

RESEARCH

A few recent papers:

Journals

M. Massink, D. Latella, A. Bracciali, M. D. Harrison and J. Hillston "Scalable Context-dependent Analysis of Emergency Egress Models". Formal Aspects of Computing, 2011. (DOI: 10.1007/s00165-011-0188-1).

A. Sorathiya, P. Lio' and A. Bracciali ``An integrated modelling approach for R5-X4 mutation and HAART therapy assessment''. Swarm Intelligence. Springer. 4(4), pages 319--340, 2010. ( DOI: 10.1007/s11721-010-0046-4 ).

Book chapters

A. Bracciali "Modelling HIV Infection: A computational overview". In R. Breitling, A.M. Uhrmacher, F.J. Bruggeman and C. Priami editors Formal Methods in Molecular Biology (Dagstuhl Seminar 11151) 1(4), pages 41-64, 2011. DOI: 10.4230/DagRep.1.4.41

M. Aldinucci, A. Bracciali and P. Lio' "Formal Synthetic Immunology". In ERCIM News (82). Pages 40-41, 2010. (ISSN 0926-4981).

P. Degano and A. Bracciali, ``Process calculi, Systems Biology and Artificial In. Chemistry'' G. Rozenberg, T.H.W. Bäck, and J.N. Kok editors Handbook of Natural Computing. Springer. 2010. (ISBN: 978-3-540-92911-6).

Conferences

M. Massink, D. Latella, A. Bracciali, and J. Hillston, "Modelling Non-linear Crowd Dynamics in Bio-PEPA". Fundamental Approaches to Software Engineering (FASE-ETAPS 2011), pages 96--110. Saarbrcken, Germany, 2011. Lecture Notes in Computer Science 6603. Springer. (ISBN 978-3-642-19810-6).

Other works

A. Bracciali "Modelling Infection Dynamics on Multi-cores" HPC-Europa 2 Science and Supercomputing in Europe - research highlights 2010 (ISBN 978-88-86037-24-2).

P. Lio', A. Sorathiya, and A. Bracciali, ``An integrated modelling approach for R5-X4 mutation and HAART therapy assessment''. Poster at International Conference on Systems Biology. Edinburgh, UK, 2010.


ph: +44 (0)1786 467446
fx: +44 (0)1786 464551
... or drop me an e-mail
... or feel free to pass by
(see below)

Text Only Site