Name: Danielle Stewart
Type: User
Company: University of Minnesota
Bio: PhD student at UMN in the Critical Systems Group (Crisys). Main research interests include safety analysis, formal verification, and software safety.
Location: Minneapolis, MN
Danielle Stewart's Projects
A repository for the Device Drivers project. This project is a linux device driver where the device is a region of memory. The memory is treated as bounded buffer containing 32 byte items, each read and written one at a time.
JKind - An infinite-state model checker for safety properties in Lustre
Phishing detection using NLP techniques
Presentation slides
A definite clause grammar in prolog
OCaml sequent calculus proof checker
Lexer, parser, evaluator, and type-checker for a language called TIMP (in OCaml)
Written Preliminary Exam