From 3985ba8bb04e900972ff20be7a2127a7a6c81bc7 Mon Sep 17 00:00:00 2001
From: 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 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.
This goes hand-in-hand with my pursuit of defending our privacy rights and our freedom in the digital world.
diff --git a/research/research-statement.pdf b/research/research-statement.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..18ed1902776cf276748b96ca15c9febdf9f0205c
GIT binary patch
literal 315650
zcma&tLv$ug)GqAUwr$(CZ9cJW+h)hM?M|N9wyloQank2K|N3X=8+ jt$9&&T
zgOkNIdS0A7dB^XS>{A {7Y&aZ>O
z9x>P7+@A+Cgm&}Bufqy2EdC6E58xq=g5&ehNU&dlbN?+Zw2f^r5cL5Mpmb_7n8M58
zX*a4)_0x=F*Ph9ze@LALkqTQhUEXfxjVngokcCT-gH0HL!b<%`D{eFPzS@7
zBH0)Q|c|FVGr#5!p4K%Vu19>`sj$vI)W1Wd!D=Gkj5-*b3~reEE2OqQIq`qfxL=)
zf0;*w^&q{HQE-DJC{R)^DxOAPfsCYY4k_P4?BhFU3ZT?!%`?R2N@1^1+c#`~?9qtf
z;