Current Students
PhD
- Mark Locher, SAIC.
- Jeronymo Carvalho, Brazilian Army
- Shou Matsumoto (co-advising with Prof. Kathryn Laskey, GMU)
- Fabio Nascimento (co-advising with Prof. Denise Ferrari, ITA)
Former Students
PhD
- Dr. Bo Yu (2014)
(co-advised with Prof. Duminda Wijesekera)
PhD Dissertation: A Workflow-Based Electronic Medical Record System - Dr. Richard Haberlin (2013)
(co-advised with Prof. Kathryn Laskey)
PhD Dissertation: A Methodological Approach to Probabilistic Ontology Development & Evaluation
- Dr. Henrique Costa Marques (2012)
(co-advised with Prof. José Parente from ITA)
PhD Dissertation: Semantic Layer to Support Military Planning Systems Interoperability
Master of Science (with Thesis)
- Fernando Wilson Silva do Couto (2015)
Thesis: Value-Focused Approach to the Training with Flight Simulators in the Brazilian Air Force. - Rommel Novaes Carvalho (2007 - Co-Advisor with Marcelo Ladeira from UnB)
Thesis: Raciocínio Plausível na Web Semântica através de Redes Bayesianas Multi-Entidades - MEBN (Plausible reasoning in the Semantic Web through Multi-Entity Bayesian Netwoks - MEBN). - Luiz Cláudio Topan (2007, Universidade da Força Aéra)
Thesis: Avaliação de força para ações de defesa terrestre de instalações aeronáuticas (Force evaluation for actions of ground defense of aeronautical facilities).
Academic Committees
PhD Committees
- Dr. Antony Melaragno (2016)
George Mason University - Fairfax, VA, USA
PhD Dissertation: Secure Broadcase for Vehicular Communications - Dr. Thabet Kacem (2016)
George Mason University – Fairfax, VA, USA
PhD Dissertation: Secure ADS-B - Dr. Changwei Liu (2015)
George Mason University - Fairfax, VA, USA
A Probabilisitic Programming Based Model for Network Forensics
- Dr. Mohammed Alhussein (2014)
George Mason University – Fairfax, VA, USA
PhD Dissertation: A Highly Recoverable Filesystem for Solid State Drives - Dr. Firdu Bati (2014)
George Mason University – Fairfax, VA, USA
PhD Dissertation: A Probabilistic Methodology to Identify Top Causal Factors for High Complexity Events from Data - Dr. Mohammad Ababneh (2014)
George Mason University – Fairfax, VA, USA
PhD Dissertation: A Dynamic Dialog System Using Semantic Web Technologies - Dr. Alexandre de Barros Barreto (2013)
Instituto Technológico de Aeronáutica – São José dos Campos, SP, Brazil
PhD Dissertation: Cyber-Argus Framework: Measuring Cyber-Impact on the Mission - Dr. Amandine Bellenger (2013)
Institut National des Sciences Appliquées de Rouen – Saint-Étienne-du-Rouvray, France
PhD Thesis: Semantic Decision Support for Information Fusion Applications - Dr. Paul Ngo (2013)
George Mason University – Fairfax, VA, USA
PhD Dissertation: Emergency Service Provisioning on Mobile Phones - Dr. Stephen C. Dinkel (2012)
Nova Southeastern University – Fort Lauderdale, FL, USA.
PhD Thesis: Service-based Situational Awareness for the Semantic Web - Dr. Ahmed Al-Faresi (2011)
George Mason University – Fairfax, VA, USA
PhD Dissertation: A Health Care Privacy/Access Control Model Inspired by HIPAA - Dr. Rommel Novaes Carvalho (2011)
George Mason University – Fairfax, VA, USA
PhD Dissertation: Probabilistic Ontology: Representation and Modeling Methodology
Master of Science Committees
- Felipe Bombarda Guedes, MS 2015
George Mason University - Fairfax, VA, USA.
MS Thesis: Management of the Brazilian Air Force's F-5M Fleet - Alexandre Sorgini D’Amato, MS 2010
George Mason University – Fairfax, VA, USA.
Advisor: Prof. Andrew Loerch
MS Thesis: Comparing and Prioritizing Aircraft Requests in the Brazilian Air Force - José Roberto de Paula, MS 2008
Instituto Tecnológico da Aeronáutica – São José dos Campos, SP , Brazil.
MS Thesis: Proposta de Método para a Estimativa da Probabilidade de Atendimento de Requisitos Funcionais de um Produto (A Proposal for a Method to Estimate the Probability of Complying with the Functional Requirements of a Product) - Sandro Carlos Vieira, MS 2008
Universidade de Brasília – Brasília, DF, Brazil.
Advisor: Prof. Li Weigang
MS Thesis: Um Modelo Baseado em Inteligência Artificial para a Gestão do Conhecimento Aplicado ao Processo de Desenvolvimento de Software (A Model Based on Artificial Intelligence for Knowledge Management Applied to the Software Development Process) - Eduardo Barrios, MS 2008
Instituto Tecnológico da Aeronáutica – São José dos Campos, SP , Brazil.
Advisor: Prof. Carlos Henrique Costa Ribeiro
MS Thesis: Diagramas de Influência para Comando e Controle no Processo de Seleção de Alvos sob o Enfoque de Operações Baseadas em Efeitos (Influence Diagrams for Command and Control of the Target Allocation Process within Effect Based Operations) - André Luiz Pimentel Uruguay, MS 2006
Instituto Tecnológico da Aeronáutica – São José dos Campos, SP , Brazil.
Advisor: Prof. Carlos Henrique da Costa Ribeiro
Thesis: Uso da entropia como métrica de consciência situacional em estruturas de comando e controle (Using entropy as metric for situation awareness in command and control structures) - Nilton de Oliveira Lessa, MS 2006
Instituto Tecnológico da Aeronáutica – São José dos Campos, SP , Brazil.
Advisors: Prof. Mischel Carmen Neyra Belderrain and Dr. Mônica Maria De Marchi.
Thesis: Uma proposta de metodologia de apoio ao planejamento estratégico das Forças Armadas baseado em capacidades (A proposal for a methodology to support armed forces strategic planning based on capabilities)
Selected Graduation Committees
- José Virgílio Guedes de Avellar and Alexandre Olympio Dower Polezzi (Mechanical Engineering at ITA).
Project: Otimização na Distribuição de Recursos no COMAER a partir da Utilização de Ferramentas Estatísiticas (Optimizing resource allocation in COMAER by the use of statistical tools) - 2002.
Committee member. - André Luiz Pimentel Uruguay and José Pedro Bastos Cavaléro Filho (Computer Engineering at ITA).
Project: Utilização de técnicas baseadas em inferência Bayesiana e Teoria da Decisão em Comando e Controle (Using techniques based on Bayesian inference and decision theory in command and control) - 2003.
Committee member. - Laécio Lima dos Santos e Shou Matsumoto (Computer Science program at UnB).
Project: Bayes - June 24, 2008.
Committee member. - Maurício Franceschini Duarte and André Lustosa Ávila (Computer Science program at UnB).
Project: Sistema de Reconhecimento de Similaridades em Desenvolvimento de Projetos (System for recognizing simililarities in project development) - July 4, 2008.
Committeee member.
