My research interests include Programming languages, S/W architectures, Formal Methods, CS education
My research interests include Mathematics and Mathematics of Computer Science