borzacchiello

PhD. Writing symbolic execution engines and program analysis related stuff