Home

Third-year PhD student

• Programming Principles, Logic & Verification group, UCL.
• Supervisors: Michael Tautschnig and James Brotherston.

Projects

• Path exploration in the C Bounded Model Checker [Details]
  • Competed in SV-COMP ’19, part of ETAPS.
• Linker script aware static analysis [Details]
  • Published in CAV ’18.
• Empirical study of C standard library portability issues [Details]
  • Published in ISSTA ’18.