M.Sc. Iowa State University at Ames, IA 2003
Ph.D. University of Kentucky at Lexington, KY 2005
My research interest is in the area of formal methods for the design of autonomous systems, cyber security or systems biology
. Formal method based approaches are mathematically rigorous methods to model systems and perform automated analysis to assure that systems satisfy safety or mission critical properties. The research effort will prepare you for future opportunities in academia, industry or research organizations. For more questions in this research area send email.
Before joining Florida Institute of Technology, he had been a Sr. Research Engineer at Rockwell Collins’ Advanced Technology Center where he was as a Principle Investigator and researcher on research programs with National Aeronautics Space Administration (NASA), Defense Advanced Research Project Agency (DARPA), Air Force Research Lab (AFRL) and Office of Naval Research (ONR). He also worked in several collaborative efforts on model based engineering and analysis with Honeywell, Boeing, Lockheed Martin, Software Engineering Institute Carnegie Melon University and MIT Lincoln Lab. He has collaborated with academia and other industry partners in his research efforts. Prior to that, he had been leading efforts in the area of Software Engineering/Formal Methods and developing new program as a tenured faculty and Interim Chair of the Division of Computer Science at Kentucky State University. He was a summer research fellow at Applied Research Laboratory at Pennsylvania State University where he worked on the design, verification, simulation and synthesis of mission control for autonomous underwater vehicles. He also worked as summer faculty fellow at Oak Ridge National Laboratory where he developed methods for design and analysis of the complex smart power grid. He has chaired sessions and presented at American Control Conferences, Digital Avionics Systems Conference, and other conferences. He has publications in refereed journals, conferences and patents. He is also a reviewer for several journals and conferences.
Software Design Methods
Software Engineering II
Phone: (321) 674-7473