Research and development in Software Engineering and Computer Science. Fields of Interest: • Software engineering: - Web development, - Software-as-a-Service, - Functional Programming • Applicative Computational Systems • Type Theory • Conceptual Modeling