projects
/
web.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
cargo-careful needs nightly
[web.git]
/
research
/
index.html
2022-08-16
Ralf Jung
fix link
blob
|
commitdiff
|
raw
2022-08-16
Ralf Jung
announce my ETH position :-))
blob
|
commitdiff
|
raw
|
diff to current
2022-07-03
Ralf Jung
I am no longer on the job market
blob
|
commitdiff
|
raw
|
diff to current
2021-10-27
Ralf Jung
mention Derek
blob
|
commitdiff
|
raw
|
diff to current
2021-10-07
Ralf Jung
update research website
blob
|
commitdiff
|
raw
|
diff to current
2021-09-16
Ralf Jung
update my afiliation
blob
|
commitdiff
|
raw
|
diff to current
2021-01-15
Ralf Jung
fix typo
blob
|
commitdiff
|
raw
|
diff to current
2020-11-19
Ralf Jung
mention MIT
blob
|
commitdiff
|
raw
|
diff to current
2020-09-24
Ralf Jung
I am not a PhD student any more...
blob
|
commitdiff
|
raw
|
diff to current
2018-12-07
Ralf Jung
add research statement
blob
|
commitdiff
|
raw
|
diff to current
2018-08-07
Ralf Jung
more https
blob
|
commitdiff
|
raw
|
diff to current
2017-07-11
Ralf Jung
https for plv.mpi-sws.org
blob
|
commitdiff
|
raw
|
diff to current
2016-01-13
Ralf Jung
*oops* typo
blob
|
commitdiff
|
raw
|
diff to current
2016-01-13
Ralf Jung
add link to RustBelt page
blob
|
commitdiff
|
raw
|
diff to current
2015-10-12
Ralf Jung
research: add link to research category of my blog
blob
|
commitdiff
|
raw
|
diff to current
2015-10-09
Ralf Jung
make a research page happen
blob
|
commitdiff
|
raw
|
diff to current
2015-10-09
Ralf Jung
prepare for having two sites: personal and research
blob
|
commitdiff
|
raw
|
diff to current
projects / web.git / history