Instituto Tecnológico de Aeronáutica
Johnny Cardoso Marques
Professor da Divisão de Ciência da Computação do Instituto Tecnológico de Aeronáutica (ITA), com pesquisa nas áreas de Qualidade de Software, Sistemas Críticos e Engenharia de Requisitos. Possui graduação em Engenharia da Computação pela Universidade Estadual do Rio de Janeiro (UERJ), mestrado em Engenharia Aeronáutica e doutorado em Engenharia Eletrônica e Computação, ambos pelo ITA. Possui mais de 20 anos de experiência na indústria aeronáutica. Participou do grupo de trabalho que definiu padrões para software e bancos de dados para aviação. Atualmente, contribui como autor de diversas Normas IEEE para Engenharia de Software, atuando como parte do Grupo de Trabalho C/S2ESC. Além disso, possui diversas publicações internacionais em Desenvolvimento de Software para Ambientes Críticos de Segurança e atua como revisor de diversos periódicos e conferências internacionais.
Formação
- Doutor em Engenharia de Computação e Eletrônica, 2016
Instituto Tecnológico de Aeronáutica - Mestrado em Engenharia Aeronáutica e Mecânica, 2005
Instituto Tecnológico de Aeronáutica - Bacharel em Engenharia de Computação, 2002
Universidade do Estado do Rio de Janeiro
Interesses
- Engenharia de Requisitos Baseada em Modelos
- Qualidade de Software
- Certificação de Software
- Estratégias de Segurança
Projetos
Publicações
- Drone-Based AI System for Wildfire Monitoring and Risk Prediction
- A Cyber-Physical System's Roadmap to Last-Mile Delivery Drones
- A-Star Based Algorithm Applied to Target Search and Rescue by a UAV Swarm
- A Roadmap to Nextgen Aircraft Control for Last Mile Delivery Drones
- Autonomous and Collective Intelligence for UAV Swarm in Target Search Scenario
- A Framework for Loadable Airborne Systems
- An Analysis on Tradable Permit Models for Last-Mile Delivery Drones
- Considerations on Domain-Specific Architectures Applicability in Future Avionics Systems