I'm a computational scientist working in Artificial Intelligence and its applications to complex biology problems. My Ph.D. focused on the automatic revision of scientific theories, which, in practice, means I spend a lot of time at the intersection of traditional logic, many-valued (fuzzy) logics, and probability theory. I'm also interested in high-performance computing, the foundation of mathematics, philosophy of science, and how deep learning can be used alongside rule-based systems.

I'm currently a Ph.D. candidate at the Canada Research Chair on Integrative ecology (Université de Sherbrooke), Timothée Poisot's lab (Université of Montréal), and the Quebec Center for Biodiversity Science (McGill U.). My work is supported by an Alexander Graham Bell Graduate Scholarship from the NSERC, a generous Azure for Research Award from Microsoft Research, and a hardware donation from NVIDIA. You can get my short CV here.

My work depends on many high-quality open-source software, including gcc, Linux, LLVM/clang, Debian/Ubuntu, Fedora, cmake, boost, Eigen, Clojure, Rust, gnome, git, Python, Vim, Geany, Visual Code, Glasgow Haskell Compiler, PostgreSQL, Cassandra, ScyllaDB, PostgreSQL.

let world = "世界" in print $ "Hello " ++ world ++ "!"