CPA-IARA (Center for Applied Research in Artificial Intelligence - Artificial Intelligence Recreating Urban Spaces). The objective of the initiative is to encourage the emergence of smart cities in Brazil and abroad, with a focus on five aspects: education, mobility, environment, health and cybersecurity. (June 2021 - ) (Project financed by FAPESP-MCTI-CGI.BR. Proposal Calls for Centers for Applied Research in Artificial Intelligence)
Verification of Blockchain Smart Contracts
Formal Models (Finite State Machines and Statecharts) to represent Software Specification to automatically generate Test Cases
Formal Models (Finite State Machines and Statecharts) to represent Reactive Systems for Performance Evaluation by employing Continuous-Time and Discrete-Time Markov Chains
WEB-PerformCharts - A Web-based Software Tool to (i) determine Steady-State Probabilities from Markov Chains and (ii) Automatically generate Software Tests
Pauliceia 2.0: A Spatio-Temporal and Collaborative Platform for Digital Humanities - Phase 2 (2020-)
Pauliceia 2.0: A Spatio-Temporal and Collaborative Platform for Digital Humanities - Phase 1 (FAPESP Project 2017-2019)
Qualifying and Training Human Resources in the Area of Information and Communication Technologies at University of Cabo Verde-UniCV (CAPES Project within AULP-Association of Portuguese Speaking Universities Program 2013-2015)
Capacity Building in Degraded Areas in Settlement Projects in the Amazon Region - CAPES Project Pro-Amazonia Program: Biodiversity and Sustainability 2013-2015)
VVTransv: A Method for Traversing Testing and Verification through Critical Software Development (FAPESP Project 2013-2015)
A Decision Support System to Automate and Integrate Control Modules to Optimally Manage ALUNORTE (Pará, Brazil) Equipment Park: Approaches based on Analytical and Computational Intelligence Models (FAPESPA/Vale Project 2011-2014)
Planning and Performance Evaluation of Access Technologies for digital inclusion using the Telecommunications Infra-structure of NAVEGAPARÁ for the State of Pará, Brazil: Study based on implementing new access technologies with an objetive of optimizing, scaling and quality of network services (CAPES/PROCAD Project 2010-2014)
A Framework for Developing Applications of Processing, Analysis and Dissemination of Space Mission related Data (CNPq/AEB Project 2010-2014)
Development and Application of a Geosensor Network for Environmental Modeling (FAPESP/Microsoft Research Project 2009 - 2012)
Performance Evaluation of Access Technologies for Digital Inclusion (CAPES/PROCAD Project 2005-2009)
Automatic Test Sequence Generation based on Statecharts (GTSC) (CNPq/Edital Universal Project 2006-2008)
HIPOCAS (Hindcast of Dynamic Processes of Ocean and Coastal Areas of Europe) - Atlas of Winds and Waves for Coastal Waters of Ireland. Developed at the Coastal and Marine Research Center-CMRC of the University College Cork-UCC (European Union Project 2003-2005)
Adapt General Circulation Model to run in Workstations ( Agreement between the National Institute of Space Research-INPE and University of Maryland/College Park 1992)
MicroMAGICS: Meteorological Graphics on Microcomputers (Agreement between the National Institute of Space Research-INPE and European Center for Mediu-Range Weather Forecast-ECMWF 1988-1992)
Prototype of a Geographic Information System for Architectural Applications. Developed at the King Fahd University of Petroleum & Minerals-KFUPM 1987-1988)
Participated in the Development of the Brazilian Satellite's Antenna Controller (1988)
Software development in: Operations Research, Urban Planning, Image Processing, Checkout System for the Brazilian satellite (1978-1986)