TDacik

Ph.D. student at FIT BUT, member of the @VeriFIT research group. Interested in program analysis and (separation) logic.

@VeriFIT

•