Future PhD student in Computer Science
Software Engineering & Research Master’s degrees
OCaml and Coq user