Before joining Argonne, Jan Hückelheim was a postdoc at Imperial College London. He received his PhD degree from Queen Mary University of London in 2017, under the supervision of Jens-Dominik Mueller.

His research spans the fields of automatic differentiation, formal software verification, scientific computing, and compilers. He has published in a variety of journals and conferences including ACM Transactions on Mathematical Software, SC, PPoPP, and IPDPS, and contributed to the automatic differentiation tools Tapenade and Enzyme. He has organized or co-organized multiple workshops, symposia, and tutorials on automatic differentiation, including a differentiable programming workshop at NeurIPS, as well as the weekly LANS department seminar series at Argonne from 2019 to 2021.

Jan Hückelheim is often looking for interns or collaborators and is happy to be contacted by email.

Research Interests

• Algorithmic differentiation
• Formal verification