Visiting Scholars
Gilles Dowek
INRIA, France; Formal Methods
Jeman Juang
National Cheng Kung University, Taiwan; Dynamics of Spinning Membrane
Alicia H. Kim
University of Bath, United Kingdom; Optimization of Two Steered Fiber Panels
Jiayue Huang
China; Tropospheric Ozone over China
Masahikio Miyauchi
Kaneka Corporation, Japan; High Temperature Composite Matrix Resins
Michael Smart
University of Queensland, Australia; Hypersonics
Gary Coleman
University of Southampton, United Kingdom; Turbulence Simulation and Modeling
Jing Liao
University of New Hampshire, New Hampshire study
Florent Kirchner
CEA, France; Source Code Analysis and Verification
Mark Sheplak
University of Florida, Florida; Investigations of Drag Due to Flow
Sudip Sen
Lancaster University, United Kingdom; Nowcast of Atmospheric Ionizing Radiation for Aviation Safety
Nail Yamaleev
North Carolina A&T State University, North Carolina; Adjoint-Based Grid Adaptation and Stability of Adjoint Solutions for Large-Eddy Simulations
Young-Ju Lee
Rutgers University; Upscaling of Vortical Flows
Joseph Blandino
VMI, Virginia; Thermal Mechanical Behavior of Very Large, Flexible-Substrate Solar Arrays
Marco Gherlone
Politecnico di Torini, Italy; Further Enhancements of the Inverse Finite Element Method
Marco Disciuva
Politecnico di Torini, Italy; Further Enhancements of the Inverse Finite Element Method
Mauricio Ayala-Rincon
University of Brasilia, Brazil; Formal Methods and Applications
Axel Schwoeppe
DLR, Germany; Computational Fluid Dynamics
Juergen Garloff
HTWG, Konstanz; Global Optimization and Reliable Computing
Hector Cadavid-Rengifo
Columbia School of Engineering, New York; Autonomy for In-Space Operations
Jason Cohen
National University of Singapore, Japan; Inverse Analysis/Modeling of Absorbing Aerosols
Visiting Students
Camilo Rocha-Nino
University of Illinois, United States; Software Verification Algorithms
Anton Lapatsin
University of Sciences and Technology, France; Atmospheric Optics
Chris Swin
Drexel University, United States; Progressive Damage Modeling in Penetration of Composite Materials
Joel Belvin
California Polytechnical State University, United States
Eugene Song
Norfolk State University, United States; Future Intelligent Transportation Systems
Joshua Branchaud
University of Nebraska-Lincoln, United States; Formal Methods
Brady Garvin
University of Nebraska, United States; Formal Methods
Chris Brampton
University of Bath, United Kingdom
Kevin Berry
Hampton University, United States; Space Weather Research
Guowei Yang
University of Texas-Austin, United States; Software Verification
Antonia Franco Espin
University of Seville, Spain; Formal Methods
David Bilyeu
Ohio State University, United States; Sonic Boom Mitigation Using Counterflowing Jet (CFD)
Theodorus Ooijevaar
University of Twente, The Netherlands; Structural Health Monitoring of Composite Structures
Alejandro Campos
Stanford University, United States; Turbulence Modeling for Separated Flows
Jessica Maloy
University of Florida, United States; Investigations of Drag Due to Flow
Casey Barnard
University of Florida, United States; Investigations of Drag Due to Flow
Han-Hsun Lu
National Cheng Kung University, Taiwan; Dynamics and System Identification of Spinning Membrane
Priscilla Cerracchio
Politechnico di Torini, Italy; Further Enhancements of the Inverse Finite Element Method
Yuniong Liao
University of Puerto Rico, Puerto Rico; Synthesis and Characterization of Boron Nitride Nanomaterials
Eric Martin-Dorel
ENS, France; Formal Methods
Pierre Neron
Ecole Polytechnique, France; Formal Methods
Andreia Borges Avelar
University of Brazil, Brazil; Formal Methods