Matteo Bettini: Knowledge graphs
Lucie Charlotte Magister: Model checking
Ahdra Merali: Commonsense reasoning
Andrew Monteith: Integration with CAS
Christian Pardillo Laursen: Isabelle
Laura Pozzetti: HOL
Maleakhi Wijaya: TP in NLP
Christopher David Baish: Separation logic
Sumaiyah Yusuf Kola: Logic programming
Charlie Maclean: Geometric theorem provers
Viktor Toth: ML and TP