more on 'udi' and angelic non-determinism; make some sentences less long
[web.git] / research / index.html
2021-10-27 Ralf Jungmention Derek
2021-10-07 Ralf Jungupdate research website
2021-09-16 Ralf Jungupdate my afiliation
2021-01-15 Ralf Jungfix typo
2020-11-19 Ralf Jungmention MIT
2020-09-24 Ralf JungI am not a PhD student any more...
2018-12-07 Ralf Jungadd research statement
2018-08-07 Ralf Jungmore https
2017-07-11 Ralf Junghttps for plv.mpi-sws.org
2016-01-13 Ralf Jung*oops* typo
2016-01-13 Ralf Jungadd link to RustBelt page
2015-10-12 Ralf Jungresearch: add link to research category of my blog
2015-10-09 Ralf Jungmake a research page happen
2015-10-09 Ralf Jungprepare for having two sites: personal and research