SISL April 2018

Mykel Kochenderfer
Decision making under uncertainty
Zongzhang ("Charles") Zhang
Visiting Scholar
Belief state planning and reinforcement learning
Rachael Tompa
Ph.D. Candidate
Dynamic air traffic rerouting during commercial space launches (FAA)
Jeremy Morton
Ph.D. Candidate
Recurrent neural networks for driving models (Ford/NSF)
Kyle Julian
Ph.D. Candidate
Aircraft collision avoidance (FAA/NASA/Intel)
Maxime Bouton
Ph.D. Candidate
Monte Carlo tree search and driving (Honda)
Ritchie Lee
Ph.D. Candidate (CMU)
Adaptive stress testing (NASA)
Andrea Zanette
Ph.D. Candidate
Bayesian level set estimation
Edward Balaban
Ph.D. Candidate

Health-aware decision making (NASA)

Jayesh Gupta
Graduate Student
Policy gradient methods (Army)
Patrick Slade
Ph.D. Candidate
Bayesian reinforcement learning (NSF/Toyota)
Chelsea Sidrane
Ph.D. Candidate

Safety and Verification for Deep Learning

Kunal Menda
Ph.D. Candidate
Event-driven reinforcement learning (NASA / SAIC)
Kyle Brown
Ph.D. Candidate

Behavior prediction for autonomous driving (Qualcomm)

Masha Itkina
Ph.D. Candidate
Probabilistic perception models for automated driving (Ford)
Xiaobai Ma
Ph.D. Candidate
Automated driving simulation and control (SAIC)
Shushman Choudhury
Ph.D. Candidate

Dynamic multimodal path planning (Ford)

Jean-Raymond Kono
Ph.D. Candidate

Deep reinforcement learning for adaptive illumination

Chris Lazarus
Ph.D. Candidate

Formal methods for validating deep neural networks

Anthony Corso
Ph.D. Candidate
Integrated scientific discovery using model process induction
Duncan Eddy
Ph.D. Candidate
Satellite sensor planning
Raunak Bhattacharyya
Ph.D. Candidate

Automotive driving models (Toyota)

Mark Koren
Ph.D. Candidate

Adaptive stress testing of automated vehicles

John Mern
Ph.D. Candidate
Hierarchical reinforcement learning (Army)
Shantanu Thakoor
Graduate Student

Formal methods for deep neural networks (FAA)

Michael Kelly
Graduate Student

Automated driving (SAIC)

Derek Phillips
Graduate Student

Real time driving risk analysis (Allstate)

Soyeon Jung
Graduate Student

Terminal airspace modeling (LL)

Sheng Li
Graduate Student

Aircraft collision avoidance in ultra-dense airspace (Airbus)

Arec Jamgochian
Graduate Student
Planning under uncertainty for haptics
Harper Carroll
Graduate Student
Interfaces for satisfiability modulo theory solvers
Tomer Arnon
Graduate Student
Neural network verification
Oriana Peltzer
Graduate Student
Multiagent scheduling, planning, and control (Siemens)
Sydney Katz
Graduate Student
Urban air mobility (Airbus)
Mery Toyungyernsub
Graduate Student
Imitation learning
Kyle Hatch
Deep reinforcement learning
Martin Holder
Visiting Graduate Student (TU Darmstadt)
Automotive radar models and state estimation