1. He is an internationally recognized expert on functional programming languages and compilers.

Он является международно признанным экспертом по языкам и компиляторам функционального программирования.