My blogs

About me

Occupation	Professor
Interests	Programming, software design, software engineering, formal methods, parallelism, compilation, reprogrammable hardware, computers in education.