add ETAPS award :)
authorRalf Jung <post@ralfj.de>
Thu, 11 Mar 2021 16:31:11 +0000 (17:31 +0100)
committerRalf Jung <post@ralfj.de>
Thu, 11 Mar 2021 16:31:11 +0000 (17:31 +0100)
commitb001e3b5d0432bcff7e0244b61be447d019cb8dc
treef9ad81a2034a7f23b3aef460165edfc621d9ae67
parent8498af717f834e465551d64b07d9c22a0efe75fe
add ETAPS award :)
research/thesis.html