Presumably working on their syntax and semantics. PL is a pretty broad field that encompasses proof theory, formal logic, language design, compiler design, etc.

Formal methods and verification, analysis, compiler technology, type systems, concurrency, and education. Why?