hello, i am aurora, a computer science major and mathematics minor at stevens. i am interested in systems programming and programming languages, especially in regards to memory safety. i am currently researching a way to automatically generate separation logic predicates for a procedure and verify that the procedure satisfies that predicate.
ask me about anything on discord! @aura.aurora