Jan de Muijnck-Hughes
  • Blog
    Posts Tags
  • Research
    About Studying with Me Working with Me
  • Activities
    Talks Service CS886 -- ASbD Teaching
  • People
    Current Alumni
  • Publications
    Theses Papers

Tyde

My (First) Research Programme

 Posted on 2024-05-02

research  spli  tyde  poster 

TyDe Denied

 Posted on 2018-07-02

idris  tdvcs  border-patrol  paper  tyde  rejection 

Jan de Muijnck-Hughes  • © 2024  •  Jan de Muijnck-Hughes

Hugo v0.128.0 powered  •  Theme Beautiful Hugo adapted from Beautiful Jekyll