From 17a5c066065a7ea0a012fcce68fae4483ee46660 Mon Sep 17 00:00:00 2001 From: Alexis Le Glaunec <44121643+alexis51151@users.noreply.github.com> Date: Tue, 28 Sep 2021 12:42:19 -0500 Subject: [PATCH] Update README.md Research Focus statement --- README.md | 21 ++++++++++----------- 1 file changed, 10 insertions(+), 11 deletions(-) diff --git a/README.md b/README.md index 8a8150b..ba5a981 100644 --- a/README.md +++ b/README.md @@ -55,24 +55,23 @@ process early and to solicit feedback from me. Research Focus Statement: - - I am studying [topic] - - because I want to [what you want to explore] - - in order to show my readers [something you want to show - them] + - I am studying abstractions of the Endokernel model + - because I want to reason about the correctness of the principles of the Endokernel + - in order to show my readers that they can trust and build upon this model. -Team Name: +Team Name: Endocert Team Member: - - Name: - - Rice ID: + - Name: Alexis LE GLAUNEC + - Rice ID: afl5 Team Member: - - Name: - - Rice ID: + - Name: Senthil Rajasekaran + - Rice ID: sr79 Team Member: - - Name: - - Rice ID: + - Name: Ziyang "Zion" Yang + - Rice ID: zy36 ## Turning in Instructions