Tomáš Dacík

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