I’m a compulsive designer of strongly typed functional, logic and object-oriented programming languages! The rest of the time, I'm a freelance software developer working hard to produce usable and useful applications.Themes: Language theory and design, Mobile Applications, Cloud Computing, Grid Computing, Agent-based framework and Distributed Computing.