About Me

Hello! I am a first-year Ph.D. student in Computer and Information Science at the University of Pennsylvania.

I am interested in:

• Dynamical systems, programming languages, formal methods
• Mathematical analysis, linear algebra, combinatorics

Email: firstnamelastname@seas.upenn.edu

CV (PDF)

Papers

• G2Q: Haskell Constraint Solving
  Haskell Symposium 2019 (PDF)
• Lazy Counterfactual Symbolic Execution
  PLDI 2019 (PDF Video Abstract)

Projects

• Symbolic Execution for Haskell (GitHub)
• Symbolic Execution for R (GitHub)
• LaTeX Templates (GitHub)

Fun Sketches

Fun ideas that might work, or not.

• First-order Methods for Constrained LQR Optimization (PDF)
• Kernel Methods and Automata (PDF)
• Metric Spaces for Regular Languages (Undergraduate Senior Thesis) (PDF)
  • Language Measures (PDF)
  • Linear Operator Automata (PDF)