Gian Perrone

Gian Perrone

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

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.

Affiliations

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:

Contact

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)
[pdf]
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)
[pdf]
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.
[pdf]

Teaching

For 2011, I was involved in the following courses:

Software

I work on: