Gian Perrone

Gian Perrone

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S

Note: I have since finished my PhD (as of 18 February 2013) and am no longer at ITU. This page will no longer be updated. Consult my personal site for further updates.

I am a PhD student in the Programming, Logic and Semantics group at the IT University of Copenhagen. Prior to starting at ITU in February 2010, I received a Bachelor of Science (with First-Class Honours) and a Master of Science (with First-Class Honours), both in Computer Science, from the University of Waikato in New Zealand. I have also worked in industry as a programmer for various companies in Hamilton, New Zealand and London, UK.

I am associated with the Jingling Genies project, and my PhD supervisor is Thomas Hildebrandt. I was previously also co-supervised by Søren Debois.


I appear to have collected a number of group affiliations in my travels:

Research Interests

My research interests can mostly be grouped under the suitably general heading "formal methods", but more specifically include:


A few contact options:

Selected Publications

Petri Nets in Bigraphs Revisited
with Wusheng Wang and Thomas Hildebrandt
In Nordic Workshop on Programming Theory (NWPT 2012)
(to appear)
Big Red: A Development Environment for Bigraphs
with Alexander Faithfull and Thomas Hildebrandt
In Fourth International Workshop on Graph Computation Models (GCM 2012)
Refinement for Transition Systems with Responses
with Marco Carbone, Thomas Hildebrandt, and Andrzej Wasowski
In 4th International Workshop on Foundations of Interface Technologies (FIT 2012)
A Model Checker for Bigraphs
with Søren Debois and Thomas Hildebrandt.
In ACM Symposium on Applied Computing - Software Verification and Tools Track 2012 (ACM SAC-SVT 2012)
[DOI | pdf | bibtex]
Bigraphical Refinement
with Søren Debois and Thomas Hildebrandt.
In Refine '11: Proceedings of the 2011 International Refinement Workshop
EPTCS 55, 2011, pp. 20-36, doi:10.4204/EPTCS.55.2
[pdf | bibtex]

In Progress

BMC & BAM: A Declaratively-Sorted Meta-Calculus and Abstract Machine (Draft Technical Report)
with Thomas Hildebrandt.


For 2011, I was involved in the following courses:


I work on: