Hey Ben, Nice to meet you, looking forward to your proof and other contributions! Cheers, Gerwin
On 19 Mar 2021, at 09:32, Ben Fiedler <sel4@bfiedler.ch> wrote:
Hello seL4-devs,
I'm currently working on a CS MSc thesis at ETH Zurich supervised by David Cock, working on verified low-level system components using seL4 and CAmkES, which I'll be doing until August.
I haven't worked with seL4 or CAmkES before, but I have some rudimentary Isabelle/ITP experience from my BSc thesis (mainly typing sledgehammer ;) ).
During the course of my thesis I will probably have some questions which I'll post here, and hopefully I can contribute to improving the tooling around seL4+CAmkES verification.
Nice to meet you all!
Cheers, Ben _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems