const ME: Image =
A picture of me
;

Welcome to this, my website.

I'm Justus and I am a PhD student advised by Malte Schwarzkopf at the Department of Computer Science at Brown University. I am part of the Efficient and Trustworthy Operating Systems (ETOS) group which is part of Systems Research at Brown.

/// Recent happenings.
static NEWS: [Event; 2] = [
];
/// What I currently spend my time on.
fn things_i_work_on() {

My latest project is Paralegal, a static analyzer that finds violations of privacy or security policies in Rust code. The tool supports arbitrary Rust codebases and requires no changes to the application code, other than a few annotations. It supports custom privacy and security policies which lets you tailor the tool to your specific domain and use case. It can also be used on library-only crates. If this interests you, check out the online documentation and the repository.

I contributed to Kani, a model checker for Rust programs. I designed and implemented the first contract mechanism for Kani, which enables users to take advantage of modular verification where they can first verify a function against its contract and then use the contract as a cheap assumption when verifying callers. For more information, see my blog post on the Kani blog.

I contributed to Ohua, a parallelizing compiler. Among other things I implemented an optimization that batches I/O operations to reduce network roundtrips. You can find more information about the compiler on the website.

You may also be interested in the list of scientific publications I was involved in.

}
struct MiscTools {
/// Online renderings of BQL's kernel schema.
schema: Link,
}
fn personal_stuff() {

In my spare time I like to climb and boulder, both indoors and outdoors. During the warmer months you'll find me hiking a mountain and during the colder ones on a ski slope if I can help it. I enjoy playing video games, making music and learning about the big issues of our time, like inequality and climate change.

}
const CV: Link = "/cv.pdf";