Research Interests

Mathematical foundations of programming languages, type theory, algebraic graph transformations, and mobile/wireless computations.