X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/e57a188e1434cfb3bb46201560ca7f2853625202..547759f18e438b8e5494eac2ef9b037343a1c45d:/research/index.html diff --git a/research/index.html b/research/index.html index ebe60ba..3b04268 100644 --- a/research/index.html +++ b/research/index.html @@ -10,7 +10,7 @@ title: Ralf Jung

I am currently working on giving a formal model to Rust's type system. This work is part of the RustBelt project.
-The Ruts work builds on my previous work on a logic to support modular reasoning about higher-order concurrent imperative programs. The focus there was on providing simple building blocks that are powerful enough to recover more sophisticated reasoning techniques that were often axiomatized in previous logics.
+The Rust work builds on my previous work on a logic to support modular reasoning about higher-order concurrent imperative programs. The focus there was on providing simple building blocks that are powerful enough to recover more sophisticated reasoning techniques that were often axiomatized in previous logics.
For some more information, check out my research blog.

In my free time, I like to run internet services myself and work on free software.