Derek Riley

Derek.riley (at) Vanderbilt.edu

(615) 763-3338

 

Employment

Research Assistant Professor

EECS Department/ISIS

Vanderbilt University

 

Offices

382 FGH

240 Center building

 

Education

PhD in Computer Science

Defended 3/24/2009

Vanderbilt University May 2009

Masters of Computer Science

Vanderbilt University May 2006

Nashville, TN

 

Bachelor of Arts, Computer Science

Wartburg College May, 2004

Bachelor of Arts, Math

Wartburg College May, 2004

Waverly, IA

 

High School Diploma (Salutatorian)

Onalaska High School, May 2000

Onalaska, WI 

 

Teaching Experience

This fall I am teaching two sections of CS151 Computer Ethics at Vanderbilt University.  The course aims to teach students about the social and ethical implications of technology in our society.  My main goal in the course is to expose students to a range of topics such as privacy, intellectual property, computer crime, and freedom of speech and encourage them to think critically about the material.  We will accomplish this through reading, discussion, activities, and group projects covering a wide range of relevant topics. 

 

Teaching Affiliate for the Center for Teaching at Vanderbilt University.  This job entailed preparation for teaching assistant orientation for incoming TAs. This included creating lesson plans and development of the curriculum for the orientation workshop.  This also included co-leading a workshop on critical thinking for grad students and postdocs at Vanderbilt. 

 

Teaching Assistant for “Introduction to Computing” and “Computing Theory and Automata” courses.

 

Instructor for Wilderness Skills course at Vanderbilt University.  This role included teaching courses on outdoor skills and conservation. 

 

Student Instructor at Wartburg College.  This job entailed teaching review sessions for calculus and computer science courses twice weekly.

 

Research Experience

I am currently participating in several research projects with ISIS under Gabor Karsai and Janos Sztipanovits.  These projects are focusing on modeling and simulation for distributed command and control architectures for highly distributed, networked systems. 

 

Research Assistant for Dr. Xenofon Koutsoukos (ISIS) researching modeling and analysis for stochastic hybrid systems and biochemical systems.

 

NASA-USRP with Dr. Michael Frumkin. “Optimizing a Mars Airplane Trajectory.” Researching scheduling of supercomputers and coordination of large systems of interdependent tasks.  Summer 2004

 

Senior Research Project with Dr. John Zelle- creating and testing a low-cost stereo-viewing autonomous robot.  Spring 2004

 

NASA-USRP (Undergraduate Student Research Program) with Dr. Michael Frumkin. “Scheduling for Computational Grids” Researching information-gathering techniques and developing schedulers for a grid.  Summer 2003

 

NSF REU at Augsburg College with Dr. Karen Sutherland.  “Robot Modeling of the Cataglyphis Bicolor” Researching object recognition and navigation in desert ants.  Summer 2002

 

Publications

2009

 

Derek Riley, Xenofon Koutsoukos, and Kasandra Riley.  “Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production Model”, Submitted to the European Journal of Control, 2009.

 

Derek Riley, Xenofon Koutsoukos, and Kasandra Riley.  “Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting”, In Hybrid Systems: Computation and Control (HSCC 2009). R. Majumdar and P. Tabuada (Eds.), to appear 2009.

 

Derek Riley, Xenofon Koutsoukos, and Kasandra Riley. "Modeling and Analysis of the Sugar Cataract Development Process Using Stochastic Hybrid Systems". IET Systems Biology, to appear 2009.

 

Abhishek Dubey, Derek Riley, and Sherif Abdelwahed. “Modeling and Analysis of Probabilistic Timed Systems”, 16th IEEE Conference on Engineering of Computer Based Systems, San Fransisco, CA, April 2009.

 

2008

Derek Riley, Xenofon Koutsoukos, and Kasandra Riley. “Simulation of Stochastic Hybrid Systems with Switching and Reflective Boundaries”. Winter Simulation Conference. Miami, FL, Dec 2008.

 

Derek Riley, Xenofon Koutsoukos, and Kasandra Riley. "Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process". In Hybrid Systems: Computation and Control (HSCC 2008). M. Egerstedt and B. Mishra (Eds.), LNCS 4981, pp. 429–442, 2008.

 

Xenofon Koutsoukos and Derek Riley. "Computational Methods for Verification of Stochastic Hybrid Systems". IEEE Transactions on Systems, Man and Cybernetics, Part A. 38(2), 385-396, March 2008.

 

 

2007

Derek Riley and Xenofon Koutsoukos. "Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems". In Hybrid Systems: Computation and Control (HSCC 2007), Pisa, Italy, April 2007. Accepted as a short paper.

 

Derek Riley, Xenofon Koutsoukos, and Kasandra Riley, "Verification of Biochemical Processes Using Stochastic Hybrid Systems", 2007 IEEE Multi-conference on Systems and Control Singapore, October 1-3, 2007.

 

Derek Riley, Xenofon Koutsoukos, and Kasandra Riley, "Reachability Analysis of a Biodiesel Production System Using Stochastic Hybrid Systems". 15th IEEE Mediterranean Conference on Control & Automation (MED'07) Athens, Greece, June 27-29, 2007.

 

2006 

 "Computational Methods for Reachability Analysis of Stochastic Hybrid Systems", X. Koutsoukos and D. Riley, Hybrid Systems: Computation and Control (HSCC 2006). LNCS 3927, pp. 377-391, 2006.

 

"Safety of Stochastic Hybrid Systems Based on Discrete Approximations", Xenfon Koutsoukos, Derek Riley, IEEE Southeastern Symposium on System Theory 2006.

 

 2004

“Optimizing a Mars Airplane Trajectory Using the Application Navigation System”, Michael Frumkin, Derek Riley, Proceedings of the Parallel and Distributed Computing Systems conference: 2004

 

“Java simulation and robot modeling of the Cataglyphis Bicolor”, Kelly Cannon, Derek Riley, Journal of Computing Sciences in Colleges Volume 19 ,  Issue 3: 2004

 

Poster Presentations

“Simulation of Stochastic Hybrid Systems with Switching and Reflective Boundaries”, Derek Riley, Xenofon Koutsoukos, and Kasandra Riley, Winter Simulation Conference 2008.

 

"Safety Analysis of Sugar Cataract Development using SHS", Derek Riley, Xenofon Koutsoukos, Kasandra Riley, HSCC 2007 Poster Session.

 

"Parallel Methods for Reachability Analysis of Stochastic Hybrid Systems", Derek Riley, Xenofon Koutsoukos, HSCC 2006 Poster Session.

 

Interests (non-academic)

I enjoy pretty much anything having to do with water and sports including (but not limited to) canoeing, kayaking, waterskiing, fishing, and swimming.  I also enjoy biking into Vanderbilt (when I can), rock climbing, and curling.

 

I also have an interest in biofuels, especially biodiesel.  I am the founder and director of the Vanderbilt Biodiesel Initiative, which is a group that collects the waste oil on campus and processes it into biodiesel for campus vehicles.