@_protz_
Principal Cheese Researcher at Microsoft Research. I tweet about cheese, and occasionally formal verification, cryptography (HACL*/EverCrypt), type systems, etc
@VictorFredesV
@Alibordeaux3
@etrevino2
@Dontawhack26
@GarnerGilb96322
@alozanoo19
@com_in_
@Shane_ecm
@PARA_UNO
@JeEnvie
@CarinaRoth20792
@iSadiqS10
@Chesser_CHZ
@4e2v801Cf002o
@Gabriel1895681
@anomalocryptid
@ArchiveEraser
@Launionam
@AbdulAnsar3734
No tweets found