msc graduation photo

kareem khazem

karkhazfeh@karkfoohaz.com PGP key

Third-year PhD student

Projects

  • Path exploration in the C Bounded Model Checker
  • Linker script aware static analysis [Details]
  • Empirical study of C standard library portability issues [Details]