Peter Drábik

Jan 2011 - present

•Postdoctoral Research Fellow in the Security Group

at Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, Pisa, Italy

June 2010 - Sept 2010

•Visiting student at the PPS Laboratory at Université Paris 7, France

Jan 2008 - Dec 2011

• Ph.D. student at Università di Pisa, Italy

• Research group on Modelling, Simulation and Verification of Biological Systems

•Ph.D. Thesis: Modular Verification of Biological Systems
•Supervisors: Andrea Maggiolo-Schettini, Paolo Milazzo
•Thesis defended: December 22, 2011

Feb 2006 - May 2006

• Erasmus stay at the Centre for Artifical Intelligence of Universidade Nova de Lisboa, Portugal

2002 - July 2007

• M.Sc. (Magister) student at Comenius University in Bratislava, Slovakia

• Thesis: On Disjunction in Modal Logic

• Supervisors: Damas Gruska, Gregory Wheeler

Research interests:

formal methods, model checking, distributed systems, systems biology, computer security

Curriculum vitae: as of 1/2012

Publications:

COPYRIGHT: Most of the papers available from this page are draft version of papers appeared in print, whose copyright is held by the publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited. As regards papers published by Springer and Elsevier, the original publications are available at www.springerlink.com and www.sciencedirect.com, respectively.

• Drábik, P., A. Maggiolo-Schettini and P. Milazzo. Modular Verification of Interactive Systems with an Application to Biology. First workshop on interactions between Computer Science and Biology (CS2Bio’10), Elsevier ENTCS, Volume 268, pages 61-75, Amsterdam, The Netherlands, June, 2010.

•Drábik, P., A. Maggiolo-Schettini and P. Milazzo. Dynamic Sync-programs for Modular Verification of Biological Systems. Proceedings of NCMA10, pp. 71-83, 2010.
•Drábik, P., G. Scatena. An Application of Model Checking to Epidemiology (Extended Abstract). Pre-proceedings of AMCA-POP 2010
•Drábik, P., A. Maggiolo-Schettini and P. Milazzo. Application of a modular verification technique in Systems Biology (abstract). Proceedings of BITS’11.
•Drábik, P., A. Maggiolo-Schettini and P. Milazzo. Modular Verification of Interactive Systems with an Application to Biology. Scientific Annals of Computer Science XXI, pp. 39-72, 2011.
•Drábik, P., A. Maggiolo-Schettini and P. Milazzo. On Conditions for Modular Verification in Systems of Synchronising Components. Proceedings of CS&P 2011.

Talks:

• 10/6/2010 - Amsterdam, The Netherlands - CS2Bio’10 - First workshop on interactions between Computer Science and Biology. Part of DisCoTec’10. [Slides]

•23-24/8/2010 - Jena, Germany - NCMA10 - Non-Classical Models of Automata and Applications. Part of CMC11. [Slides]
•25/8/2010 - Jena, Germany - AMCA-POP 2010 - Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology. Part of CMC11. [Poster] [Slides]
•28/9/2011 - Pułtusk, Poland - CS&P 2011 - Concurrency, Specification and Programming. [Slides]
•22/12/2011 - Pisa, Italy - Ph.D. defence. [Slides]