Computer Science

• Static Analysis
  • Hoare Logic
  • Separation Logic
• Programming Languages
  • C
  • Lisp