Miguel is a lead engineer and is the developer of the Company’s digital financial reporting rules processing and validation products. Miguel runs InterProlog Consulting (interprolog.com), which is dedicated to the application of artificial intelligence tools to real world problems, serving customers in the USA and UK. He’s also CTO and co-founder of the upcoming startup Logical contracts (logicalcontracts.com).
Over the years he has developed a number of applications, user interface generators and logic programming environment tools.
Miguel has a degree in Electrical Engineering from University of Porto and a PhD in Computer Science/AI from New University of Lisbon, with a thesis on declarative logic program debugging. Miguel received the IBM Portugal Prize in 1990 and the Microsoft portugal/web 3rd prize 2000. Miguel founded Servisoft (www.servisoft.pt, a distributor of computer products, Declarativa, a consultancy and software development company, BookMARC (software for libraries), Coherent Knowledge Systems coherentknowledge.com , USA, for advanced AI tools and Renting Point www.rentingpoint.pt, portal for B2B and B2C renting. Miguel has taught Java and web development at Universidade Portucalense and Universidade do Minho, north Portugal. He served as President of the Portuguese AI Association, 2012-2015 (appia.pt) and is a member of the ISO/IEC JTC1/SC22/WG17 (Prolog standardization) group.