Aerospace and Mechanical Engineering
Adjust Font Size: Normal Large X-Large
Home | Publications

Derya Aksaray
Assistant Professor

Contact information
Office: 216 Akerman Hall
E-mail: daksaray(at)

UMN Experts Page
List of research topics
Current Research Projects

Professor Aksaray's research mainly focuses on design and control of verifiable autonomous systems for resilient operation in partially known and unstructured environments. In particular, she is interested in developing reactive planning strategies for resilient operation of robots in the face of disturbances, synthesizing provably-correct controllers to guarantee desired behaviors,
and designing models and algorithms that enable autonomous systems to effectively team with humans and other robots. Overall, her research interests primarily lie in the areas of control theory, formal methods, and machine learning, with applications to aerospace systems and robotics.


B.S., Aerospace Engineering, Middle East Technical University, Ankara, Turkey, 2008
M.S., Aerospace Engineering, Georgia Institute of Technology, Atlanta, USA, 2011
Ph.D., Aerospace Engineering, Georgia Institute of Technology, Atlanta, USA, 2014


2018: Assistant Professor, Aerospace Engineering & Mechanics, University of Minnesota
2016 - 2017: Posdoctoral Associate, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology
2014 - 2016: Postdoctoral Researcher, Boston University
2008 - 2014: Graduate Research Assistant, Aerospace Systems Design Laboratory, Georgia Institute of Technology

Five Recent Publications

  • C.I. Vasile, D. Aksaray, and C. Belta , 2017, Time Window Temporal Logic , Theoretical Computer Science , 691, 27-54, (Journal Article) More Details
  • R. Paul, J. Arkin, D. Aksaray, N. Roy, and T.M. Howard , 2017, Efficient Grounding of Abstract Spatial Concepts for Natural Language Interaction with Robot Platforms , International Journal of Robotics Research , 4929-4933, (Journal Article) More Details
  • K.E. Schaefer, J.Y.C. Chen, J. Wright, D. Aksaray, N. Roy, 2017, Challenges with Incorporating Context into Human-Robot Teaming, (Journal Article) More Details
  • K. Leahy, D. Aksaray, and C. Belta, 2017, Informative Path Planning under Temporal Logic Constraints with Performance Guarantees, (Journal Article) More Details
  • M. Tucker, D. Aksaray, R. Paul, G.J. Stein and N. Roy,, 2017, Learning Unknown Groundings for Natural Language Interaction with Mobile Robots, International Symposium on Robotics Research (ISRR), 16 pages, (Journal Article) More Details


Awards and Honors

2013 AIAA Infotech@Aerospace Conference, Travel Grant awarded by a poster competition
2013 American Control Conference, Best Presentation in Session award
2008 AHS Helicopter Design Competition, Member/Coordinator of Best New Entrant Team

Scientific and Professional Societies

American Institute of Aeronautics and Astronautics (AIAA)
Institute of Electrical and Electronics Engineers (IEEE)

Subjects and Courses Taught

AEM 2011 -- Statics
AEM 2301 -- Mechanics of Flight

Last Modified: 2019-03-21 at 09:35:46 -- this is in International Standard Date and Time Notation