Since March 2007 I am a lecturer in the Dependable Systems and Software Engineering group in the school of Electronics and Computer Science at the University of Southampton. The school maintains an official homepage for me. Since April 2006 I am the principal investigator on a three year EPSRC postdoc fellowship entitled “Foundations of Process Calculi and Contextual Systems”.
Before that (in reverse chronological order), I was a Research Associate at the Computer Laboratory, a CNRS postdoc at Preuves, Programmes et Systèmes in Paris (6 months) and a visiting researcher at the Informatics Department of the University of Pisa (6 months).
In December 2004 I got my PhD at BRICS in Aarhus. My supervisor was Prof Mogens Nielsen but I worked mostly with Prof Vladimiro Sassone. In 1999 I completed a computer science bachelor degree in the mathematics department at the University of Sydney in Australia. My supervisor in fourth year was Steve Lack.
I am interested in formal models for representing various phenomena associated with concurrency. In particular, I am working on ways of associating labelled transition system semantics to reduction systems -- it boils down to finding ways (using bisimulation) to prove the contextual equivalence of processes. Moreover, I believe that it is important to understand how we obtain these proof methods.
I am generally interested in applications of category theory to computer science. However, rather than working on the more established uses of categorical logic in semantics, I have concentrated mostly on how one can use categories with structure in order to obtain theorems about models at an appropriate level of generality. In particular, together with Steve Lack I've studied adhesive categories which are categories with well-behaved pushouts along monomorphisms. The applications of adhesive categories have included the work mentioned in the previous bullet as well as graph transformation.
“Każdy człowiek ma pewną własną siatkę rozpoznawczą i interpretacyjną, którą, najczęściej odruchowo i bezrefleksyjnie, nakłada na każdą napotkaną rzeczywistość. Często jednak te inne rzeczywistości nie przystają, nie pasują do kodu naszej siatki i wówczas można tę rzeczywistość i jej elementy mylnie odczytać i błędnie zinterpretować. Odtąd człowiek ów będzie poruszać się w rzeczywistości fałszywej, w świecie mylących i nieprawdziwych pojęć i znaków.”