His interests include validated numerical computing and generative programming.

• 他的兴趣包括验证数值计算和生成式编程。