Skip to content

Presentations

Invited Talks

“Formal Verification of Distributed Aircraft Controllers”
PRECISE Seminar, University of Pennsylvania, Philadelphia, USA
January 2015

“Verifying Hybrid Systems with Automated Theorem Provers”
iTrust Seminar, Singapore University of Technology and Design (SUTD), Singapore
May 2014

“Verifying Hybrid Systems with Automated Theorem Provers”
PL Wonks Seminar, Indiana University – Bloomington, USA
April 2014

“Logical Analysis of Distributed Hybrid Systems”
Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany
September 2013

Keynote speaker for the Grace Hopper Scholarship Luncheon
Grace Hopper Celebration 2011, Portland, USA
November 2011

Conference Talks

“Efficiency Analysis of Formally Verified Adaptive Cruise Controllers”
Intelligent Transportation Systems (ITSC 2013), The Hague, The Netherlands
October 2013

“Formal Verification of Distributed Aircraft Controllers”
Hybrid Systems: Computation and Control (HSCC 2013), Philadelphia, USA
April 2013

“Towards Formal Verification of Freeway Traffic Control”
International Conference on Cyber-Physical Systems (ICCPS 2012), Beijing, China
April 2012

“Safe Intersections: At the Crossing of Hybrid Systems and Verification”
Intelligent Transportation Systems Conference (ITSC 2011), Washington, D.C.
October 2011

“Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified”
Formal Methods (FM 2011), Limerick, Ireland
June 2011 

Other Presentations

Indiana Celebration of Women in Computing, Spencer, Indiana, February 2012 
– Panelist on Impostor Syndrome Panel.
– Judge for technical poster competition.

Opportunities for Undergraduate Research in Computer Science, Carnegie Mellon University, March 2011 
– Panelist on Graduate Panel: “The Graduate School Experience”

Cyber-Physical Systems Principal Investigator Meeting, August 2010
– Poster: Compositionality and Reconfiguration for Distributed Hybrid Systems. (poster pdf)

Grace Hopper Celebration of Women in Computing, October 2008
– Panel Organizer: OurCS — Opportunities for Undergraduate Research in Computer Science.
– Technical Poster Presenter: A Variation of Strassen’s Matrix Multiplication Algorithms. (poster)
– Received Grace Hopper Scholarship sponsored by the National Science Foundation.

Bring IT On! Reunion, Diversity in Computing Workshop, April 2008
– Project Co-Chair.
– Organized panel, roundtable discussions, presentation demos, and social events.

Indiana Women in Computing (InWIC), January 2008
– Lightning Talk Presenter: “Variations on Strassen Algorithms for Rectangular Matrices”.

SC07, November 2007
– Competed in Cluster Challenge with team from Indiana University

Bring IT On!, Diversity Workshop at Indiana University, October 2007
– Workshop Organizer.

Opportunities for Undergraduate Research in Computer Science, Carnegie Mellon University, October 2007
– Undergraduate Presenter: “Variations on Strassen Algorithms for Rectangular Matrices.”

Midwest Celebration of Women in Computing, September 2006
– Poster Talk: “Three Perspectives on Peer Tutoring for CSI”