Skip to content

The Devil in the Details

Formal methods, concurrency, and verification

Home
Archive
About
Contact
CISC372

CISC372: Personal Introduction

I introduce myself

Leave a Reply Cancel reply

You must be logged in to post a comment.

Please consider leaving a comment. You must first create an account, but you only have to do that once. This is to prevent Spam.

Proudly powered by WordPress | Theme: Libre by Automattic.