Benjamin C. Pierce
A person who is a research professor at the University of Pennsylvania, working in type theory, concurrency and object-oriented theory. He is the author of several interesting books and dozens of papers on type theory and programming languages.This page is linked from: Methods of Migration Type System