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