In recent years, he has taken an interest in formal methods, formal proofs and certified compilation.
В последнее время он приобрел интерес к формальным методам, формальным проверкам и сертифицированной компиляции.