Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Organizations

@plum-umd @fordsec

Popular repositories

  1. Program analysis grad seminar at SU (2019)

    HTML 55 1

  2. Examples from the class CMSC 330 during Summer 2015

    OCaml 40 10

  3. An example of a simple project in OCaml that uses Merlin

    OCaml 37 10

  4. Notes for CIS 700 (Fall '19) at Syracuse U.

    Racket 6 4

  5. A list of security courses at colleges and universities

    5 1

  6. Notes for CIS700, Fall 2020: Formal Methods in Computer Security

    5

92 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.