Tomáš Dacík
TDacik
Ph.D. student at FIT BUT, member of the @VeriFIT research group. Interested in program analysis and (separation) logic.
@VeriFIT
Alfredo Canziani
Atcold
Musician, math lover, cook, dancer, 🏳️🌈, and assistant professor of Computer Science at New York University
NYU New York City

