The Cyber-Physical Systems program at the National Science Foundation (NSF) provided a three year grant to develop techniques to develop techniques to insure the correctness, safety, and security of unmanned aerial vehicles or “drones”. We will study verification techniques that look at the hardware and flight control software and their interactions with the sensors and actuators. We aim to insure that the drone is unable to violate properties such as “it should not fly above 500 feet (the FAA mandated limit)” and “it must not enter restricted geographical region (for example, national parks where drones are no illegal to fly”). The grant is headed by Professor Sorin Lerner and in collaboration with Professor Miroslav Kristic. For more information about the project, check out the github page and the NSF award announcement.