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

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

• The Programming, Logic and Semantics Group at ITU.
• The Process and System Models Group at ITU
• Member-at-large of the Formal Methods Laboratory at The University of Waikato

Research Interests

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

• Formal models of concurrency
• Bigraphs
• Refinement
• Programming language semantics
• Compilers technology
• Expressive type systems
• Program verification
• Model-based testing

Contact

A few contact options:

• Twitter
• For email, my username is gdpe and if you add '@' and itu.dk after that, you will get my email address in a form that spambots can read.
• LinkedIn

Selected Publications

Refinement for Transition Systems with Responses
with Marco Carbone, Thomas Hildebrandt, Hugo A. Lopez and Andrzej Wasowski
In 4th International Workshop on Foundations of Interface Technologies (FIT 2012)
(to appear)

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)
(to appear)
[pdf]

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]

Teaching

• XML-processing: Methods, tools & theories
• Programming Language Seminar

Software

• The BigMC Bigraphical Model Checker
• Smackage: a Standard ML package system