Agung Julius

Agung Julius

Associate Professor, Electrical, Computer, and Systems Engineering

Phone: 518-276-6993

Education / Experience
  • PhD 2005, University of Twente (The Netherlands)
  • Postdoctoral Researcher 2005-2008, University of Pennsylvania (GRASP Lab)
Research Expertise & Interests

control systems, formal methods in safety verification of autonomous control systems, formal methods in controller synthesis

Rotary-Wing/VTOL Application

formal methods in performance assurance of autonomous aerial vehicles, planning and controller synthesis