The Devil in the Details
Formal methods, concurrency, and verification
The best way to reach me is by email, siegel@udel.edu.