Fleming, Cody | June 2021
FACULTY VITA
Date: June 2021
Name: Cody Fleming
Department: Mechanical Engineering
Current Rank: Associate Professor
I. BACKGROUND, PROFESSIONAL EXPERIENCE AND RECOGNITIONS
A. Professional Training
Massachusetts Institute of Technology, Cambridge, MA USA
Doctor of Philosophy, Aeronautics and Astronautics, 2015
Massachusetts Institute of Technology, Cambridge, MA USA
Master of Engineering, Civil and Environmental Engineering, 2004
Hope College, Holland, MI USA
Bachelor of Science, Engineering, 2003
B. Academic Appointments
Associate Professor, Mechanical Engineering, Iowa State University, Ames, IA USA,
August 2020current,
Visiting Professor, Engineering Systems and Environment, University of Virginia,
Charlottesville, VA USA, August 2020current
Assistant Professor, Mechanical & Aerospace Engineering, University of Virginia,
Charlottesville, VA USA, January 2018August 2020
Assistant Professor, Systems Engineering, University of Virginia, Charlottesville, VA
USA, August 2015August 2020
Postdoctoral Associate, Massachusetts Institute of Technology, Cambridge, MA USA,
February 2015July 2015
Graduate Research Assistant, Massachusetts Institute of Technology, Cambridge, MA
USA, September 2010January 2015
C. Professional Employment
Dynamics Analyst and Staff Engineer, Northrop Grumman Space Technology, Redondo
Beach, CA USA, August 2004June 2010
D. Honors and Awards
The Kinnier Award, given yearly to one faculty member in UVA School of Engineering
and Applied Sciences for outstanding teaching and student engagement, 2019
Distinguished Faculty Speaker Award, University of Virginia Office of Engagement, 2018
Best Paper Award, Best Student Paper (Bryan Carter), IEEE Systems Conference, 2018
INFORMS Graduate Faculty Award of Excellence, University of Virginia Student Chapter
award for excellence in service, 2016
Best Paper Award, Brian Mar Best Student Paper, INCOSE International Symposium 2015
Northrop Grumman Recognition Award, special recognition for problemsolving in a
strategic program, 2010
Dickson Fellow, Massachusetts Institute of Technology, 2004
1
Fleming, Cody | June 2021
Douwe B Entema Prize, Hope College, award to top student in physics and engineering,
2003
Alvin W. Vanderbush Award, Hope College, one of four awards given to Hope College
scholarathletes, 2003
Phi Beta Kappa, elected to national scholastic honor society, 2003present
Presidential Scholar, Hope College, 19992003
II. SCHOLARSHIP AND RESEARCH/CREATIVE ACTIVITIES
A. Scholarship
# Denotes any publication derived from the candidate’s thesis/dissertation.
+ Denotes student coauthor.
1. Arcles in Peer‐Reviewed Journals
18. Georgios Bakirtzis
+
, Eswaran Subrahmanian, Cody H. Fleming. Compositional
Thinking in CyberPhysical Systems Theory, IEEE Computer. Accepted for
publication. Impact Factor: 3.564.
17. Giorgos Bakirtzis
+
, Christina Vasilakopoulou, and Cody Fleming. Categorical
Semantics of CyberPhysical Systems Theory, ACM Transactions on CPS. Accepted
for publication. https://arxiv.org/abs/2010.08003
16. Hassan Jafarzadeh
+
and Cody Fleming. DMPC: A Dataand ModelDriven Approach
to Predictive Control, Automatica. Volume 131, September 2021, 109729,
https://doi.org/10.1016/j.automatica.2021.109729 Impact Factor: 5.541.
15. Georgios Bakirtzis
+
, Tim Sherburne, Stephen Adams, Barry M. Horowitz, Peter A.
Beling, Cody H. Fleming. An Ontological Metamodel for CyberPhysical System
Safety, Security, and Resilience Coengineering, International Journal on Software and
Systems Modeling (SoSyM), https://doi.org/10.1007/s1027002100892z Impact
Factor: 1.915.
14. Cody Fleming, Carl Elks, Georgios Bakirtzis
+
, Stephen C. Adams, Bryan Carter
+
,
Peter A. Beling, and Barry Horowitz. CyberPhysical Security Through Resiliency: A
Systems Centric Approach for Facilitating Resilience in CyberPhysical Systems,
IEEE Computer. Accepted for publication. https://arxiv.org/abs/2011.14469 Impact
Factor: 3.564.
13. John A. Stankovic, Homa Alemzadeh, Brad Campbell, John Lach, Lu Feng, Cody
Fleming, Jonathan Goodall, Toluwalogo Odumosu, Daniel Quinn, Yuan Tian, Kelley
Tobler. A Graduate Curriculum in Cyber Physical Systems, IEEE Design & Test.
Volume 38, Issue 3, June 2021, https://doi.org/10.1109/MDAT.2020.3043376 Impact
Factor: 2.409.
12. K. Rand
+
, M. Kurth, C. Fleming, I. Linkov. A resilience matrix approach for
measuring and mitigating disasterinduced population displacement, International
Journal of Disaster Risk Reduction. Volume 42, January 2020, 101310,
https://doi.org/10.1016/j.ijdrr.2019.101310 Impact Factor: 2.896.
11. Sun, M.
+
, Rand, K.
+
, and Fleming C. 4 Dimensional Waypoint Generation for
conflictfree Trajectory Based Operation, Aerospace Science and Technology. Volume
88, May 2019, Pages 350361, https://doi.org/10.1016/j.ast.2019.03.035 Impact Factor:
4.499.
2
Fleming, Cody | June 2021
10. Carter B.
+
, Adams S., Bakirtzis G.
+
, Sherburne T., Beling P., Horowitz B., Fleming C.
A Preliminary DesignPhase Security Methodology for CyberPhysical Systems,
Systems. 2019; Vol 7(2):21, https://doi.org/10.3390/systems7020021
9. B. Carter
+
, G. Bakirtzis
+
, C. Elks, C. Fleming. SystemsTheoretic Security
Requirements Modeling for CyberPhysical Systems, Systems Engineering. 2019;
Volume 22, Pages 411421., https://doi.org/10.1002/sys.21504 Impact Factor: 1.0.
8. K. Rand
+
and C. Fleming. An interdisciplinary review to develop guidelines for
modeling population displacement as a function of infrastructure reconstruction
decisions, Transportation Research Interdisciplinary Perspectives. Volume 3,
December 2019, 100072, https://doi.org/10.1016/j.trip.2019.100072
7. G. Bakirtzis
+
, B. Simon, A. Collins, C. Fleming and C. Elks. Data Driven
Vulnerability Exploration for Design Phase Analysis, IEEE Systems Journal. Vol. 14,
No. 4. DOI: 10.1109/JSYST.2019.2940145,
https://doi.org/10.1109/JSYST.2019.2940145 Impact Factor: 5.280.
6. Jafarzadeh, H.
+
and Fleming C. An Exact GeometryBased Algorithm for Path
Planning, International Journal of Applied Mathematics and Computer Science.Vol.
28, No. 3, 493–504, https://doi.org/10.2478/amcs20180038 Impact Factor: 1.694.
5. Boyer, R.
+
; Scherer, W Fleming C.; Connors, C.; and Whitehead, N. A
HumanMachine Methodology for Investigating Systems Thinking in a Complex
Corpus, IEEE Systems Journal. Sept 2018 Vol: 12, Issue:3 Pp: 29372948,
https://doi.org/10.1109/JSYST.2017.2725920 Impact Factor: 5.280.
4. Fleming C.# and Leveson, N.G. Early Concept Development and Safety Analysis of
Future Transportation Systems, IEEE Transactions on Intelligent Transportation
Systems. Vol. 17, No. 12 (2016), pp. 35123523,
https://doi.org/10.1109/TITS.2016.2561409 Impact Factor: 6.319.
3. Fleming C.# and Leveson, N. Improving Hazard Analysis and Certification of
Integrated Modular Avionics, AIAA Journal of Aerospace Information Systems. Vol.
11, No. 6 (2014), pp. 397411, https://doi.org/10.2514/1.I010164 Impact Factor: 0.892.
2. Ishimatsu, T., Leveson, N.G., Thomas, J.P., Fleming C.#, Katahira, M., Miyamoto, Y.,
Ujiie, R., Nakao, H. and Hoshino, N. Analysis of Complex Spacecraft Using Systems
Theoretic Process Analysis, AIAA Journal of Spacecraft and Rockets. Vol. 51, No. 2
(2014), pp. 509522, https://doi.org/10.2514/1.A32449 Impact Factor: 1.207.
1. Fleming C.#; Spencer, M.; Leveson, N.; and Wilkinson, C. Safety assurance in
NextGen and complex transportation systems, Safety Science. Volume 55, June 2013,
Pages 173187, https://doi.org/10.1016/j.ssci.2012.12.005 Impact Factor: 4.350.
2. Peer‐Reviewed Conference Proceedings
34. Hassan Jafarzadeh
+
and Cody Fleming. Gaussian Processbased Model Predictive
Controller for Connected Vehicles with Uncertain Wireless Channel, 24th IEEE
Intelligent Transportation Systems Conference (ITSC 2021), September 2021.
33. Neil Singh
+
, Sander Abraham
+
, Minghui Sun
+
, and Cody Fleming. Optimization of
Waypointbased Flightdeck Interval Management for NextGen Concept of Operations,
2021 AIAA SciTech Forum. January 2021.
https://arc.aiaa.org/doi/abs/10.2514/6.20210780
32. Georgios Bakirtzis
+
, Fabrizio Genovese, Cody Fleming. Categorical Semantics of
Security Modeling, ICRA 21 Workshop on Compositional Robotics: Mathematics and
Tools. Xi’an, China, MayJune 2021.
3
Fleming, Cody | June 2021
31. Jasmine Sekhon
+
and Cody Fleming. SCAN: A Spatial Context Attentive Network for
Joint MultiAgent Intent Prediction, ThirtyFifth AAAI Conference on Artificial
Intelligence (AAAI21). February 2021.
https://ojs.aaai.org/index.php/AAAI/article/view/16762 Acceptance rate: 21%
30. Georgios Bakirtzis
+
, Christina Vasilakopoulou and Cody Fleming. Compositional
CyberPhysical Systems Modeling, Applied Category Theory 2020. July 2020.
https://cgi.cse.unsw.edu.au/ eptcs/paper.cgi?ACT2020:40.pdf
29. Georgios Bakirtzis
+
, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M.
Horowitz, and Cody H. Fleming.Fundamental Challenges of CyberPhysical Systems
Security Modeling, DSN 2020: 50th IEEE IFP International Conference on
Dependable Systems and Networks. https://arxiv.org/pdf/2005.00043.pdf Acceptance
rate: 16.5%
28. Jasmine Sekhon
+
and Cody Fleming, A Spatially and Temporally Attentive Joint
Trajectory Prediction Framework for Modeling Vessel Intent, 2nd Conference on
Learning for DynamIcs & Control (L4DC). Berkeley, CA, June 2020.
http://proceedings.mlr.press/v120/sekhon20a/sekhon20a.pdf Acceptance rate for oral
presentation: 11%
27. M. Sun
+
; S. Abraham
+
; N. Singh
+
; C. Fleming. Waypointbased Flightdeck Interval
Management, 2020 AIAA SciTech Forum. January 2020.
https://arc.aiaa.org/doi/pdf/10.2514/6.20202101
26. Max Bergman
+
, Stephen Adams, Tim Sherburne, Cody Fleming, Peter Beling. Active
Learning to Improve Static Analysis, 18th IEEE International Conference on Machine
Learning and Applications ICMLA 2019. Florida, December 2019.
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8999299 Acceptance rate:
TBD%
25. Jafarzadeh, H.
+
and Fleming C. Learning Model Predictive Control for Connected
Autonomous Vehicles, 58th IEEE Conference on Decision and Control. Nice, France,
December 2019. https://arxiv.org/abs/1908.02879
24. Minghui Sun
+
, Xiyuan Ge
+
, Cody Fleming, Guaranteed Conflict: when speed
advisory doesn’t work for Timebased Flow Management, Thirteenth USAEurope Air
Traffic Management Research and Development Seminar (ATM2019). Vienna, Austria,
June 2019.
http://www.atmseminar.org/seminarContent/seminar13/papers/ATM_Seminar_2019_paper_2.pdf
23. Jasmine Sekhon
+
and Cody Fleming, Towards Improved Testing For Deep Learning,
41st ACMIEEE International Conference on Software Engineering, ICSE 2019, New
Ideas and Emerging Results. https://arxiv.org/abs/1902.06320 Acceptance rate: 27%
22. Elahe Soltanaghaei, Mahmoud Elnaggar
+
, Katie Kleeman
+
, Kamin Whitehouse, Cody
Fleming. Characterizing Uncertainties of Wireless Channels in Connected Vehicles,
MobiCom 2019, The 25th Annual International Conference on Mobile Computing and
Networking. Posters & Demos, Oct 2125, 2019.
https://dl.acm.org/doi/pdf/10.1145/3300061.3343409
21. B. Carter
+
, C. Fleming, C. Elks, and G. Bakirtzis
+
. CyberPhysical Systems Modeling
for Security Using SysML. CSER 2018:16thAnnual Conference on Systems
Engineering. Charlottesville, VA USA, May 2018.
https://www.researchgate.net/publication/333941525_Cyber
Physical_Systems_Modeling_for_Security_Using_SysML
20. Mahmoud Elnaggar
+
, Kamin Whitehouse and Cody Fleming. Bayesian Wireless
Channel Prediction for SafetyCritical Connected Autonomous Vehicles, Bayesian
4
Fleming, Cody | June 2021
Deep Learning Workshop. NeurIPS
2018http://bayesiandeeplearning.org/2018/papers/130.pdf
19. G. Bakirtzis
+
, B.T. Carter
+
, C.R. Elks, C.H. Fleming, A ModelBased Approach to
Security Analysis for CyberPhysical Systems, 12
th
Annual IEEE International
Systems Conference SYSCON. Vancouver BC, Canada, April 2018.
https://arxiv.org/pdf/1710.11442.pdf Acceptance rate: 53%
18. B. Carter
+
, G. Bakirtzis
+
, C. Elks, C. Fleming, A Systems Approach for Eliciting
MissionCentric Security Requirements, 12
th
Annual IEEE International Systems
Conference SYSCON. Vancouver BC, Canada, April 2018. Best Student Paper
Award. https://arxiv.org/pdf/1711.00838.pdf Acceptance rate: 53%
17. S. Adams, B. Carter
+
, C. Fleming, P.A. Beling. Selecting System Specific
CyberSecurity Attack Patterns using Topic Modeling, 17
th
IEEE International
Conference On Trust, Security And Privacy In Computing And Communications (IEEE
TrustCom18). New York, NY USA, August 2018.
https://ieeexplore.ieee.org/abstract/document/8455944 Acceptance rate: 16%
16. R. Bailey, C.H. Fleming, W.T. Scherer, M.C. Smith, W.H. Guilford, J.W. Lark, III, D.
Elzey, S. Russell, S. Acton, B.L. Smith. Integrating Systems Approaches into
Education Using Active Case Studies, Frontiers in Education 2018. San Jose, CA
USA, October 2018. https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8659001
15. G. Bakirtzis
+
, B. Simon, C. Fleming, and C. Elks. Looking for a Black Cat in a Dark
Room: Security Visualization for CyberPhysical System Design and Analysis, IEEE
Symposium on Visualization for Cyber Security (VizSec). Berlin, Germany, October
2018.
https://arxiv.org/pdf/1808.08081.pdf Acceptance rate: 35%
14. Bashiri, M.
+
, Jafarzadeh, H.
+
, and Fleming C. PAIM: Platoonbased Autonomous
Intersection Management, 2018 IEEE Intelligent Transportation Systems Conference
(ITSC 2018). Hawaii, November 2018.
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8569782
13. Sun, M.
+
, Ge, X.
+
, and Fleming C. Resolving a Dilemma: Guaranteeing Conflictfree
4DTrajectories While Leaving Autonomy to Airlines, 2018 IEEEAIAA 37th Digital
Avionics Systems Conference (DASC). London, UK, September 2018.
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8569874
12. Bakirtzis, G.; Carter, B.
+
; Elks, C.; and Fleming, C. Cyber Assurance Assessment
Using Systems and Control Theory, 26th USENIX Security Symposium (USENIX
Security ’17). Vancouver, BC, Canada, August 2017.
11. Fleming C. Systems Theory and a Drive Towards Modelbased Safety Analysis, 11
th
Annual IEEE International Systems Conference, special session on Theoretical
Foundations of Systems Engineering (THEFOSE). Montreal, Quebec, April 2017.
https://ieeexplore.ieee.org/abstract/document/7934799 Acceptance rate: 45% [average
for previous years]
10. Bashiri, M.
+
and Fleming C. A PlatoonBased Intersection Management System for
Autonomous Vehicles, 2017 IEEE Intelligent Vehicles Symposium (IV 2017). Redondo
Beach, CA, June 2017. https://ieeexplore.ieee.org/abstract/document/7995794
Acceptance rate: 50% [average for previous years]
9. Fleming C. A Systemstheoretic Approach to Early Concept Development, SMC2016,
2016 IEEE International Conference on Systems, Man, and Cybernetics. Budapest,
Hungary, October 2016.
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7844494 Acceptance rate: 42%
8. Fleming C.#; Leveson, N. Including Safety during Early Development Phases of Future
Air Traffic Management Concepts, Eleventh USAEurope Air Traffic Management
5
Fleming, Cody | June 2021
Research and Development Seminar (ATM2015). Lisbon, Portugal, June 2015.
http://atmseminar.org/seminarContent/seminar11/papers/522_Fleming_0126150938
FinalPaper5415.pdf Acceptance rate:
40%
7. Leveson, N.; Fleming C.#; Thomas, J.; Wilkinson, C. A Comparison of SAE ARP
4761 and STPA Safety Assessment Processes, 23rd Safetycritical Systems Symposium
(SSS’15). Bristol, UK, February 2015.
6. Fleming, C.#; Leveson, N. Integrating Systems Safety into Systems Engineering
during Concept Development, 25
th
Annual INCOSE International Symposium 2015.
Seattle, WA, July 2015. Brian Marr Best Student Paper Award.
https://onlinelibrary.wiley.com/doi/pdf/10.1002/j.23345837.2015.00111.x
5. Fleming C. Modelbased Concept Development and Safety Driven Design, Informatik
2014: Big Data. Stuttgart, Germany, September 2014.
4. Fleming C.#; Leveson, N.G.; Placke, M.S. Assuring Safety of NextGen Procedures,
Tenth USAEurope Air Traffic Management Research and Development Seminar
(ATM2013). Chicago, IL, June 2013.
http://atmseminar.org/seminarContent/seminar10/papers/265Placke_0127130945
FinalPaper41713.pdf Acceptance rate:
40%
3. Leveson, N.G.; Fleming C.#; Spencer, M.; Thomas, J.; Wilkinson, C. Safety Assurance
of Complex, SoftwareIntensive Systems, SAE 2012 Aerospace Electronics and
Avionics Systems Conference. October 2012.
https://saemobilus.sae.org/content/2012012134
2. Fleming C.#; Ishimatsu, T Miyamoto, Y Nakao, H.; Katahira, M.; Hoshino, N.;
Thomas, Leveson, N. SafetyGuided Spacecraft Design Using Modelbased
Specifications11th International Association for the Advancement of Space Safety.
Versailles, France, October 2011.
http://sunnyday.mit.edu/SafetyGuidedSpacecraftDesign.pdf
1. Ishimatsu, T Leveson, N.; Fleming C.#; Katahira, M.; Miyamoto, Y Nakao, H.
Multiple Controller Contributions to Hazards11th International Association for the
Advancement of Space Safety. Versailles, France, October 2011.
http://sunnyday.mit.edu/saferworld/MultipleControllers.pdf
3. Books or Book Chapters
1. Adams, Stephen, Peter A. Beling, James H. Lambert, William T. Scherer, and Cody H.
Fleming. Systems Engineering in Context. Springer. DOI: 10.1007/978303000114
8https://link.springer.com/book/10.1007%2F9783030001148
4. Formally Invited Seminars and Presentaons
Physics and Learning in Prediction and Control, ETH Zurich, June 2021.
Learning and Control for Safetycritical Systems, Elder Research, May 2021.
Plenery, “Am I Even Asking the Right Questions?”, SIEDS ‘20 IEEE Systems and
Information Engineering Design Symposium, April 2020.
University of Virginia CE3500 Guest, “On Software, Autonomy, Coordination and
Safety in Transportation Systems”, Charlottesville, VA, October 1, 2019.
Systems Engineering Research Center, Workshop on Model Centric Engineering,
Washington D.C., April 2019.
6
Fleming, Cody | June 2021
Institute for Robotics and Intelligent Machines (IRIM) Seminar Series, “Safety of
Autonomous Systems: Challenges in Coordination, Consistency, and Integration”
Georgia Tech, April 2019.
HumanMachine Teaming, Air Force Research Lab, Dayton, OH, December 2018.
Driverless Future Issues and Opportunities with Automating Our Transportation
Systems; University of Virginia Alumni Weekend, Charlottesville, VA, June 9, 2018.
Composability, Modularity, and Reuse in SafetyCritical Cyberphysical Systems; NG
University Research Symposium, April 17, 2018.
MBSA for cyber failure detection and recovery, Workshop on Modelbased System
Assurance: enabled by Digital Engineering, Washington, D.C. December 7, 2017.
Driverless Future: How might cars and their management systems change over time?
University of Virginia / City of Charlottesville, September 30.
Towards Composability, Modularity, and Safety in Autonomous Systems, University
of Virginia Department of Computer Science, November 2016.
MissionAware Cybersecurity, NDIA 19
th
Annual Systems Engineering Conference,
Springfield, VA, 2016.
Tomorrows Decisionmakers: On Software, Autonomy, Coordination and Safety in
Transportation Systems, University of Virginia Department of Civil and Environmental
Engineering, September 2016.
Embedded Software Integrity for Automotive Summit, Detroit, Michigan, May 23 25,
2016
Systems Engineering Knowledge & Skills in the Education of All Engineers, INCOSE
Academic Forum 2016, May 23 2016
Systems Engineering Applications to Decision Making, WR Senior Technical Leaders
Focus group, Dewberry, Fairfax, VA, 2015.
Early Concept Analysis of NextGen Operations, 4
th
STAMP Workshop, Cambridge,
Massachusetts, 2015
Proactive and Predictive Approaches—Systemsbased Approaches to Modeling and
Analysis, GCAA Safety Intelligence and Management Workshop, Dubai, United Arab
Emirates, 2014.
Modelbased Concept Development and Safety Driven Design, Informatik 2014: Big
Data, Stuttgart, Germany, 2014.
ARP 4761 and STPA (using the Wheel Brake Example in ARP 4761), 3
rd
STAMP
Workshop, Cambridge, Massachusetts, 2014.
STPA Analysis of Interval Management in NextGen, 3
rd
STAMP Workshop,
Cambridge, Massachusetts, 2014.
Improving Hazard Analysis and Certification of Integrated Modular Avionics, 2
nd
STAMP Workshop, Cambridge, Massachusetts, 2013.
5. Contributed Presentaons
N/A
7
Fleming, Cody | June 2021
6. Other Scholarly Contribuons
19. Minghui Sun
+
, Cody H. Fleming, and Milena Milich
+
. Defining and Reasoning about
Modelbased Safety Analysis: A Review, NASA Contractor Report, March 2021.
18. Austin Anderson
+
, Chris Marshall
+
, Toby Hansford
+
, Mason Jordan
+
, Sragdhara
Khakurel
+
, Michael Quinn
+
, Katherine Taylor
+
, Amy Xie
+
, and Cody Fleming.
Measuring Airport Similarity to Create a Towering Decision Aid, SIEDS ‘20 IEEE
Systems and Information Engineering Design Symposium. Charlottesville, VA, April
2020.
17. Thomas A. McDermott Jr., Cody Fleming, Megan M. Clifford, Tim Sherburne, Giorgos
Bakirtzis
+
, Krista Rand
+
. Concept of Operations (CONOPS) Exploiting Cyber
Vulnerabilities of Oil and Gas Pipelines Building the Systems Assurance Framework,
SERCSR2020004, December, 2020. https://sercuarc.org/publication/?id=225&pub
type=TechnicalReport&publication=SERCSR2020004
Concept+of+Operations+%28CONOPS%29+Exploiting+Cyber+Vulnerabilities+of+Oil+and+Gas+Pipelines+Building+the+Systems+Assurance+Framework
16. Thomas A. McDermott Jr., Cody Fleming, Megan M. Clifford, Tim Sherburne,
Giorgos Bakirtzis
+
, Krista Rand
+
. Methods to Evaluate Cost/Technical Risk and
Opportunity Decisions for Security Assurance in Design, SERCTR2020005, June
2020. https://sercuarc.org/publication/?id=224&pubtype=Technical
Report&publication=SERCTR2020005
Methods+to+Evaluate+Cost%2FTechnical+Risk+and+Opportunity+Decisions+for+Security+Assurance+in+Design
15. Peter A. Beling, Barry Horowitz, Cody Fleming, Stephen Adams, Tim Sherburne,
Davis Loose
+
. RT1013: Security Engineering. SERC2020TR008, June 2020.
https://sercuarc.org/publication/?id=237&pubtype=Technical
Report&publication=SERC2020TR008WRT1013%3A+Security+Engineering+
+2019
14. Charles Rogers
+
, Jonathan Bugg
+
, Chris Nyheim
+
, Will Gebhardt
+
, Brian Andris
+
,
Evan Heitman
+
, and Cody Fleming Adversarial Artificial Intelligence for Overhead
Imagery Classification Models, SIEDS ‘19 IEEE Systems and Information Engineering
Design Symposium. Charlottesville, VA, April 2019.
13. Bakirtzis, G.
+
and Fleming, C., Cyberphysical System Safety and Security in the
Nuclear Power Plant Context, ANS Student Conference. April 2019, Richmond VA.
12. Moradinasab, Nazanin; Hassan Jafarzadeh
+
, M. R. AminNaseri, and Cody H.
Fleming. A Dynamic Sustainable Competitive Petroleum Supply Chain Model for
Various Stakeholders with Shared Facilities. arXiv preprint. arXiv:1907.11789 (2019).
https://arxiv.org/pdf/1907.11789.pdf
11. Beling P, Horowitz B, Fleming C, Adams S, Bakirtzis G
+
, Carter B
+
, Sherburne T,
Elks C, Collins A, Simon B. Modelbased Engineering for Functional Risk Assessment
and Design of Cyber Resilient Systems. University of Virginia Charlottesville United
States; 2019 Feb 22.
10. J. Rowley
+
, A. Liu
+
, S. Sandry
+
, J. Gross
+
, M. Salvador
+
, C. Anton
+
, and C.
Fleming, Examining the Driverless Future: An Analysis of HumanCaused Vehicle
Accidents and Development of an Autonomous Vehicle Communication Testbed,
SIEDS ‘18, IEEE Systems and Information Engineering Design Symposium.
Charlottesville, VA, April 2018.
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8374759
9. Horowitz B, Beling P, Fleming C, Adams S, Carter B
+
, Sherburne T, Elks C, Bakirtzis
G
+
, Shull F, Mead NR. Cyber Security Requirements Methodology. Stevens Institute
of Technology Hoboken United States; 2018 Jul 26.
8
Fleming, Cody | June 2021
8. Rand, K.
+
and Fleming, C. Population Migration & Infrastructure Resilience: A
Review of Theory and Practice, 26th SRAEurope Conference. Lisbon, Portugal, June
2017.
7. Calhoun, Z.
+
, Maribojoc, P.
+
, Selzer, N.
+
, Procopi, L.
+
, Bezzo, N., and Fleming, C.
Analysis of Identity and Access Management alternatives for a multinational
informationsharing environment. Systems and Information Engineering Design
Symposium (SIEDS), 2017. (pp. 208213). IEEE, April 2017.
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7937718
6. Horowitz B, Beling P, Fleming C, Adams S, Carter B
+
, Vemuru K, Elks C, Bakker T,
Cios K, Bakirtzis G
+
, Collins A. Security Engineering FY17 Systems Aware
Cybersecurity. Stevens Institute of Technology Hoboken United States; 2017 Dec 7.
5. Bains, P.
+
; Ferris, K.
+
; Gregoire, J.
+
; Kim, J.
+
; Kozloski, J.
+
; Lazenby, J.
+
; Ofiesh,
D.
+
; Shank, E.
+
; Wu, K.
+
; Beling, P and Fleming C. Risk Analysis of Globalized
Airline Supply Chains, SIEDS ‘16, IEEE Systems and Information Engineering Design
Symposium. Charlottesville, VA, April 2016.
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7489324
4. Leveson, N.; Wilkinson, C.; Fleming C.; and Thomas, J. A Comparison of STPA and
the ARP 4761 Safety Assessment Process, MIT Technical Report, June 2014.
3. Fleming C.; Placke, M.S.; and Leveson, N. STPA Analysis of NextGen Interval
Management Components, FAA Technical Report, September 2013.
2. Fleming C.; Spencer, M.; Thomas, J.; Leveson, N.; and Wilkinson, C. Mission
Assurance in NextGen Technologies,
NASA Technical Report, March 2012.
1. An STPA Primer Version 1, August 2013.
B. Patents, Disclosures, and Technology Transfer
N/A.
C. Funded Grants and Contracts
Total projects awarded overall: $9,450,665. Controlled by Fleming: $3,518,923
Total projects awarded as PI: $1,951,204. Controlled by Fleming: $1,280,268
Average external dollars per year controlled by Fleming: $603,244
Awarded, PI
9. Investigators: Sole PI
Title of grant/contract Identification and Verification of Flexible, Adaptive Systems of
Autonomous System Architectures
Funding agency: Office of Naval Research
Dates: 06/202109/2022
Total dollar amount of grant: $200,000 (controlled by Fleming: $200,000)
8. Investigators: Amy Pritchett of Penn State and Brian German of Georgia Tech
Title of grant/contract A Systemstheoretic, Modelbased Approach to Assuring Safety
in TBO
Funding agency: National Aeronautics and Space Administration
Dates: 06/201605/2019
Total dollar amount of grant: $766,204 (controlled by Fleming: $350,000)
7. Investigators: Tom McDermott of Stevens Institute of Technology and Peter Beling of
UVA
Title of grant/contract Transitioning Mission Aware Concepts and Methods to Evaluate
Cost/Risk Decisions for Security Assurance Design
9
Fleming, Cody | June 2021
Funding agency: DoD ASD(R&E)
Dates: 08/202007/2021
Total dollar amount of grant: $400,000 (controlled by Fleming: $227,768)
6. Investigators: Peter Beling of UVA
Title of grant/contract Compensatory Cyber Resiliency Approaches for Gaps in Cyber
Hygiene (CRACH Test)
Funding agency: MITRE Corporation
Dates: 03/202010/2020
Total dollar amount of grant: $140,000 (controlled by Fleming: $75,000)
5. Investigators: Sole PI
Title of grant/contract Towards a Modelbased Approach to Assuring Safety of
Increasingly Autonomous Systems
Funding agency: Northrop Grumman Corporation
Dates: 11/2016–06/2020
Total dollar amount of grant: $250,000 (controlled by Fleming: $250,000)
4. Investigators: Sole PI
Title of grant/contract Improved Decision Making for Autonomous Systems
Funding agency: National Science Foundation
Dates: 09/2018–08/2020
Total dollar amount of grant: $140,000 (controlled by Fleming: $140,000)
3. Investigators: William Scherer, UVA Systems and Information Engineering
Title of grant/contract Adversarial and Explainable AI
Funding agency: The Aerospace Corporation
Dates: 09/2018–05/2019
Total dollar amount of grant: $25,000 (controlled by Fleming: $12,500)
2. Investigators: Sole PI
Title of grant/contract Towards a Methodology for Safetydriven Analysis and
Integration of Heterogeneous, Autonomous Decisionmakers in the National Airspace
Funding agency: Virginia Space Grant Consortium
Dates: 05/201605/2017
Total dollar amount of grant: $20,000 (controlled by Fleming: $20,000)
1. Investigators: Nicola Bezzo of UVA
Title of grant/contract CRitical Information and Infrastructure Identity and access
Management Evaluation (CRIIIME)
Funding agency: The MITRE Corporation
Dates: 09/2016–05/2017
Total dollar amount of grant: $10,000 (controlled by Fleming: $5,000)
Awarded, CoPI
12. Investigators: Barry Horowitz and Peter Beling, both of UVA Systems and Information
Engineering
Title of grant/contract Needs for Addressing Cyber Attack Resilient Systems in Testing
and Evaluation
Funding agency: DoD DT&E
Dates: 10/2019–03/2021
Total dollar amount of grant: $500,000 (controlled by Fleming: $250,000)
11. Investigators: Amy Pritchett of Penn State
Title of grant/contract Assuring Increasingly Autonomous Capabilities with Novel
Delegations of Authority and Responsibility
10
Fleming, Cody | June 2021
Funding agency: National Aeronautics and Space Administration
Dates: 10/201909/2022
Total dollar amount of grant: $750,000 (controlled by Fleming: $360,000)
10. Investigators: Amy Pritchett, Penn State (PI); Eric Frew, CUBoulder
Title of grant/contract Planning Grant: Engineering Research Center of SAFTE
Funding agency: National Science Foundation
Dates: 20192020
Total dollar amount of grant: $100,000 (controlled by Fleming: $30,000)
9. Investigators: John Stankovic (PI), Homa Alemzadeh, Jonathan Goodall, John Lach all
of UVA
Title of grant/contract A Graduate Traineeship in Cyber Physical Systems
Funding agency: National Science Foundation
Dates: 20182023
Total dollar amount of grant: $3,069,765 (controlled by Fleming: $438,538)
8. Investigators: Peter Beling, UVA Systems Engineering
Title of grant/contract Risk Based Approach to Cyber Vulnerability Assessment
Funding agency: DoD ASD(R&E)
Dates: 06/2019–06/2020
Total dollar amount of grant: $275,062 (controlled by Fleming: $137,531)
7. Investigators: Peter Beling, UVA Systems Engineering
Title of grant/contract WRT1013 Security Engineering
Funding agency: Army
Dates: 06/2019–06/2020
Total dollar amount of grant: $532,305 (controlled by Fleming: $226,230)
6. Investigators: Tom McDermott, Stevens Institute of Technology
Title of grant/contract Methods to Evaluate Cost/Technical Risk and Opportunity
Decisions for Security Assurance in Design
Funding agency: USD(R&E)
Dates: 04/2019–04/2020
Total dollar amount of grant: $255,017 (controlled by Fleming: $125,000)
5. Investigators: Barry Horowitz and Peter Beling, both of UVA Systems and Information
Engineering
Title of grant/contract RT196 Security Engineering
Funding agency: DoD ASD(R&E)
Dates: 01/2018–03/2019
Total dollar amount of grant: $323,312 (controlled by Fleming: $161,656)
4. Investigators: Barry Horowitz and Peter Beling, both of UVA Systems and Information
Engineering
Title of grant/contract RT191 Decision Support Tool Trials
Funding agency: Army
Dates: 01/2018–09/2018
Total dollar amount of grant: $224,000 (controlled by Fleming: $80,000)
3. Investigators: Other investigators spending funds: Cameron (Kamin) Whitehouse and
Lu Feng, both of UVA Computer Science
Title of grant/contract SafetyCritical Wireless Mobile Systems
Funding agency: National Science Foundation
Dates: 09/201608/2019
Total dollar amount of grant: $800,000 (controlled by Fleming: $267,700)
2. Investigators: Barry Horowitz and Peter Beling, both of UVA Systems and Information
Engineering
11
Fleming, Cody | June 2021
Title of grant/contract RT172 Security Engineering
Funding agency: DoD ASD(R&E)
Dates: 01/2017–11/2017
Total dollar amount of grant: $350,000 (controlled by Fleming: $125,000)
1. Investigators: Barry Horowitz and Peter Beling, both of UVA Systems and Information
Engineering
Title of grant/contract MissionLevel Cybersecurity and Solution & the Selection of
Decision Support Tools
Funding agency: DoD ASD(R&E)
Dates: 01/2016–11/2016
Total dollar amount of grant: $320,000 (controlled by Fleming: $37,000)
D. Pending Grants and Contracts
N/A.
III. Teaching and Student Mentoring
A. Instrucon for ISU
Term Course Course Title Credits Lab Number of
Students
TA/
graders
Spring 2021 ME 421 System Dynamics
& Control
3 Yes 74 1/0
Fall 2020 ME 421 System Dynamics
& Control
3 Yes 50 1.5/0
B. Curricular Development Acvity for ISU
Assisting with project development for ME 280X: Design and Analysis of CyberPhysical
Systems
C. Supervision of Students as Major Professor
Ph.D.
1. Joe Cullen, PhD, 2020, Mechanical Engineering, Iowa State University, work in progress
degree expected 2022
2. Muhammad Bilal Shahid, Ph.D., 2021, Mechanical Engineering, Iowa State University,
work in progress degree expected 2023
3. Hassan Jafarzadeh, PhD, University of Virginia degree expected 2021
4. Jasmine Sekhon, PhD, University of Virginia degree expected 2021
5. Minghui Sun, PhD, University of Virginia degree expected 2021
6. Georgios Bakirtzis, Ph.D., 20162021, University of Virginia. “Compositional
CyberPhysical Systems Theory”, currently a postdoc at UTAustin.
7. Masoud Bashiri, Ph.D., 20162020, University of Virginia. “DataDriven Intersection
Management Solutions for Mixed Traffic of HumanDriven and Connected and
Automated Vehicles”, currently Data Analyst and Software Engineer at InVita Healthcare
Technologies.
8. Krista Rand, Ph.D. 20162020, University of Virginia. “A System Theoretic Approach to
Dynamic Recovery Strategy Design in Networked Systems”, currently research scientist
at JHUAPL, previously ORISE Postdoctoral Fellow.
12
Fleming, Cody | June 2021
9. Milena Milich, PhD, University of Virginia, transferred to Patrick Hopkins’ group after
my departure
10. Mahmoud Elnaggar, PhD, remained at University of Virginia after my departure
M.S.
1. Angelica Sunga, M.S. 20192021, University of Virginia.
2. Davis Loose, M.S. 20182020, University of Virginia. “LDaRM: A Technique for
Improving Knowledge Discovery in Large Text Corpora”, currently Ph.D. student at UVA
3. Robert Pierce, M.S., 20172019, University of Virginia. “Using Reinforcement Learning
to Train an Autonomous Car”
4. Bryan, M.S., 20162018, University of Virginia. “A SystemsTheoretic, ModelBased
Methodology for Identifying and Evaluating Resiliency Strategies for CyberPhysical
Systems”, currently a staff engineering at National Ground Intelligence Center
5. Kyle Ferris, M.S.D.S., 2016, University of Virginia. “Risk Analysis of Globalized Airline
Supply Chains”
6. James Kim,M.S.D.S., 2016, University of Virginia. “Risk Analysis of Globalized Airline
Supply Chains”
7. Jonathan Lazenby, M.S.D.S., 2016, University of Virginia. “Risk Analysis of Globalized
Airline Supply Chains”
D. Service on Graduate Student Commiees
At Iowa State University
1. Michael Welch, N/A, Ph.D., Mechanical Engineering, Committee Member
2. Jesse Lane, N/A, Ph.D., Mechanical Engineering, Committee Member
3. Todd Thompson, N/A, Ph.D., Mechanical Engineering, Committee Member
4. Shashwata Mandal, N/A, Ph.D., Mechanical Engineering, Committee Member
5. Elham Mohammadrezaei, N/A, Ph.D., Mechanical Engineering, Committee Member
At University of Virginia
1. Basak Ozaslan, Ph.D., 20162019
2. Jeff Bennett, Ph.D., 20172018
3. Zheng Chen, Ph.D., 20182020
4. Tyler Cody, Ph.D., 20172020
5. Zach Collier, Ph.D., 20152018
6. Esen Yel, Ph.D., 20172020
7. Faraz Dadgostari, Ph.D., 20152021
8. Thibault Gautier, Ph.D., 20172020
9. Kiley Gomes, Ph.D., 20192020
10. Steven Hauser, Ph.D., 2019
11. Heimir Thorisson, Ph.D., 20152018
12. Wanshi Hong, Ph.D., 20182020
13. Jonathan Hughes, Ph.D., 20182019
14. Lian Cui, Ph.D., 20152018
15. Emily Miller, M.S., 20162018
16. Rahul Peddi, Ph.D., 20182020
13
Fleming, Cody | June 2021
17. Seunghan Ryu, Ph.D., 20172020
18. Yusheng Wei, Ph.D., 20182020
Other
1. Kip Johnson, 2016, Ph.D., Aeronautics and Astronautics at MIT, External Representative
2. Aidan Collins, 2019, M.S., Electrical and Computer Engineering at Virginia
Commonwealth University, Committee Member
E. Supervision of Post‐Doctoral Students and Professional Sta
At Iowa State University N/A.
At University of Virginia
Tim Sherburne, Research Engineer 20172020, MissionAware Methods and Tools,
currently staff scientist at University of Virginia.
Tom Richardson, Research Engineer 20162017, Systems Aware Cybersecurity, retired.
F. Supervision of Independent Study and Undergraduate Research
At Iowa State University
Izzy Murray, Funded Research Assistant, Summer 2021
Raul Gonzalez, Funded Research Assistant, Summer 2021
Gave Stevens, Funded Research Assistant, Summer 2021
Mohammad Zaki Patel, Independent Study, Spring 2021
At University of Virginia
Neil Singh, Funded Research Assistant, 20172020
Sander Abraham, Funded Research Assistant, 20172020
Austin Anderson, Toby Hansford, Mason Jordan, Sragdhara Khakurel, Chris Marshal,
Michael Quinn, Katherine Taylor, Amy Xie, 08/201905/2020, Measuring Airport
Similarity to Create a Towering Decision Aid.
Brian Andris, Will Gebhardt, Chris Nyheim, Jonathon Bugg, Charles Rogers, Evan
Heitman, 08/201805/2019, Adversarial Artificial Intelligence for Overhead Imagery
Classification Models
Sam Crawford, Funded Research Assistant, 2019
Ricardo Marin, Funded Research Assistant, 20182019
Katie Kleeman, Funded Research Assistant, 20182019
Kwadwo Tenkorang, Funded Research Assistant, Summer 2017
John Rowley, Ann Liu, Steven Sandry, Joshua Gross, Melvin Salvador, Chris Anton,
08/201705/2018, Examining the Driverless Future: An Analysis of HumanCaused
Vehicle Accidents and Development of an Autonomous Vehicle Communication Testbed
Zach Calhoun, Patrick Maribojoc, Edward (Ned) Selzer, Leah Procopi, 08/201605/2017,
Analysis of Identity and Access Management alternatives for a multinational
informationsharing environment
Lina Romeo, Funded Research Assistant, 20162017
Tyler Cody, Fall 2016, Deep Learning in Gear Health Monitoring: Deep Convolutional
Autoencoders for Representation Learning in High Frequencies
April Anlage, 08/201505/2016, Objectives and Metrics of the Federal Aviation
Administration’s Time Based Flow Management Software
Patrick Bains, Justin Gregoire, Jacob Kozloski, Dimitri Ofiesh, Evan Shank, Kevin Wu,
08/201505/2016, Risk Analysis of Globalized Airline Supply Chains
14
Fleming, Cody | June 2021
G. Non‐ISU Instrucon
The following courses were taught at the University of Virginia School of Engineering and
Applied Sciences as an Assistant Professor.
Term Course Course Title Credits Lab Number of
Students
TA/
graders
Fall 2019 SYS2001 Concepts of Sys
tems Engineering
3 No 54 1/3
Fall 2018 SYS2001 Concepts of Sys
tems Engineering
3 No 137 1.5/0
Spring 2018 SYS6582 Concpts Collabo
rative Autonomous
Systems
3 No 17 1/0
Fall 2017 SYS2001 Concepts of Sys
tems Engineering
3 No 145 1.5/0
Spring 2017 SYS6581 Cyber Physical
Systems
3 No 17 1/0
Fall 2016 SYS2001 Concepts of Sys
tems Engineering
3 No 137 1.5/0
Spring 2016 SYS6581 Cyber Physical
Systems
3 No 20 1/0
Spring 2016 SYS6582 Concepts Collabo
rative Autonomy
3 No 10 0/0
Fall 2015 SYS2001 Concepts of Sys
tems Engineering
3 No 125 1.5/0
H. Other Teaching and Student Mentoring Contribuons
Fleming has mentored and funded 14 undergraduate student researchers from 20152020 at
University of Virginia and mentored two K12 students
IV. Instuonal Service
A. University‐Level Service
At Iowa State University
N/A.
At University of Virginia
Executive Advisory Board, Cyber Innovation and Society Institute, University of Virginia,
20162020
B. College‐Level Service
At Iowa State University
N/A.
At University of Virginia
SEAS Dean’s Research Advisory Council (DRAC), December 2017–2019
Search Committee Member, SEAS & LinkLab CPS and Smart Cities 20172018.
Search Committee Member, SEAS & LinkLab CPS and Smart Cities 20162017.
Autonomous Vehicles Conference at UVa, Planning Committee, 2017
SEAS Integrated Space Plan, Cores/Centers Focus Group Member, 20172018
15
Fleming, Cody | June 2021
Focus on the Future Planning Committee, new department vision committee, 20172019
Search Committee Chair, SEAS & LinkLab CPS Search subcommittee on Safety and
Formal Methods, 20152016
Jefferson Scholars Panel, 2017
Common Reading Experience Faculty Mentor, 20162019
Faculty adviser, UVA Hyperloop Competition, 20162017
Undergraduate Research Network Research Symposium Judge, 2016
UVA Engineering Research Symposium Abstract Judge, 2016
C. Department‐Level Service
At Iowa State University
Member of Graduate Studies Committee, Mechanical Engineering, 2020present
At University of Virginia
Systems Engineering Undergraduate Committee Member, 20172020
Mechanical & Aerospace Engineering Dynamics & Controls Curriculum Committee
Member, 20182020
Search Committee Member, SEAS & ESE HumanMachine Teaming 20182019.
Systems Engineering Graduate Committee Member, 20152017
V. Professional Service
A. Editorial and Review Service for Manuscripts
Conference on Robotics and Learning, Technical Program Committee, 2021
International Conference on Intelligent Transportation Systesm, Reviewer, 2021
International Conference on Robotics and Automation, Reviewer, 2021
Conference on Robotics and Learning, Reviewer, 2020
Computers and Security, Reviewer, 2020–
Transactions on Software Engineering and Methodology, Reviewer, 2019–
Transportation Research Interdisciplinary Perspectives, Reviewer, 2019
Transactions on Software Engineering, Reviewer, 2019–
Human Factors and Ergonomics in Manufacturing & Service Industries, Reviewer, 2020
Applied Science, Reviewer, 2020
IEEE Control System Letters, Reviewer, 2020
ITSC 2018, 21st IEEE International Conference on Intelligent Transportation Systems,
Associate Editor, 20172018
AIAA Journal of Aerospace Information Systems, Reviewer, 2019–
IEEE Intelligent Vehicles Symposium, Reviewer, 2017–
International Journal of Reliability and Safety, Reviewer, 2018
Journal of Navigation, Reviewer, 2017
Transportation Review Board, Reviewer, 20162018
IEEE Intelligent Transportation Systems, Reviewer, 2017–
International Journal of Robotics Research
American Society for Engineering Education, Reviewer, 2016–
IEEE Systems Journal, Reviewer, 2016–
IEEE Conference on Decision and Control, Reviewer, 2017–
IEEE American Control Conference, Reviewer, 2017–
Safety Science, Reviewer, 2017–
16
Fleming, Cody | June 2021
B. Service to Professional Sociees
Conference Planning Committee Cochar, AIAA Intelligent Systems Technical
Committee, 2020–
Moderator, Panel on AI4SE, Systems Engineering Research Council, 2020
Technical Committee Member, AIAA Intelligent Systems Technical Committee, 2019–
Panel Chair, and Planning Committee Member, CSER 2018 Conference on Systems
Engineering Research, 20172018
Member of Standing Committee, TRB AV090 Standing Committee on Aviation Security
and Emergency Management, 20162019
Program Committee Member, International Symposium for ICS & SCADA Cyber
Security Research, 2017
Program Committee Member, International Symposium for ICS & SCADA Cyber
Security Research, 2016
Panelist, INCOSE Academic Forum on Interactive Engineering Education, 2016
Planning and editorial Committee Member, 4th STAMP Workshop, Cambridge, 2015
Panelist, NSF Workshop on the Future of Systems Engineering Education, 2015
Planning and editorial Committee Member, 3rd STAMP Workshop, Cambridge, 2014
Planning and editorial Committee Member, 2nd STAMP Workshop, Cambridge, 2013
Planning and editorial Committee Member, 1st STAMP Workshop, Cambridge, 2012
C. Grant Review Acvies
NSF, 2020, Panel member for Formal Methods in the Field
NSF, 2017, Panelist member for PFIBIC
NSF, 2016, Panel member for Engineering Systems and Design
D. Government, Educaonal, or Corporate Advisory Commiees
N/A.
E. Other Professional Service
N/A.
VI. Outreach, Community Engagement, and Other Acvies
A. Outreach Acvies
N/A.
B. Community Engagement Acvies
Organizing Committee Member and Speaker for community event about the future of
autonomy and society. Driverless Future: How might cars and their management systems
change over time? City of Charlottesville, 2017.
Science fair judge and organizer, City of Cambridge, MA, 20132014.
C. Other Acvies
Organizer and activist, Friendship at the Court, a community engagement for
underrepresented groups in Charlottesville, VA. 20182019.
Volunteer and Mentor, Best Buddies International, 20062009.
17