Organización/Lugar de trabajo

Ubicación

Ocupación

Sector

Education

Sitio web

Acerca de

Researcher, educator and entrepreneur in the areas of programming languages, formal methods and sortware engineering. My main objective is to design and develop techniques that help improve the quality, perfomance and effectiveness of computing systems.