David Renshaw

Computer Science Department Carnegie Mellon University GHC 9221. (412) 268-5944 dwre...@cs.cmu.edu

About

I am a third-year PhD student under the supervision of Andre Platzer. In 2009, I graduated from Caltech with a B.S. in mathematics.

Papers

David W. Renshaw and Andre Platzer. Differential Invariants and Symbolic Integration for Distributed Hybrid Systems. Submitted. pdf

David W. Renshaw, Sarah M. Loos, and Andre Platzer. Distributed Theorem Proving for Distributed Hybrid Systems. In Shengchao Qin and Zongyan Qiu, editors, International Conference on Formal Engineering Methods, ICFEM'11, Durham, United Kingdom, Proceedings, volume 6991 of LNCS. Springer, 2011. (c) Springer-Verlag. pdf

Cheng Yeaw Ku and David Renshaw. Erdos-Ko-Rado Theorems for Permutations and Set Partitions, Journal of Combinatorial Theory Series A, 115 (2008), 1008-1020. pdf

David Renshaw and Cheng Yeaw Ku. Combinatorial Optimization over Maximal Intersecting Families of Subsets, Caltech Undergraduate Research Journal, Summer 2007, 12-16. pdf

Teaching

In the fall semester of 2010, I was TA for 15-814 Types and Programming Languages.

Coursework

• 15-814 Type Systems
• 15-819(M) Data, Code, Decisions
• 15-712 Advanced and Distributed Operating Systems (course project)
• 15-816 Modal Logic
• 15-745 Optimizing Compilers for Modern Architecture
• 15-780 Graduate Artificial Intelligence
• 15-819(H) HOT Compilation
• 15-750 Graduate Algorithms

Nonacademic

I sometimes post to my wlog.