Todd Millstein — Computer Science & Eng. faculty at UCLA. Research: Verified Software Simple and Efficient Concurrency Network Programming and Verification.