The Africa Program achieves its mission through in-depth research that offers practical solutions to key challenges in US-Africa relations. The Africa Program's flagship initiatives include the ...

I originally created this as a short to-do list of study topics for becoming a software engineer, but it grew to the large list you see today. After going through this study plan, I got hired as a ...

Dafny is a programming language with built-in specification constructs. The Dafny static program verifier can be used to verify the functional correctness of programs. The Dafny programming language ...