Harshit Jitendra Motwani

Harshit Jitendra Motwani is a Postdoctoral Researcher at the Max Planck Institute for Software Systems (MPI-SWS), Germany. Previously, he was a Postdoctoral Fellow at the Hong Kong University of Science and Technology (HKUST) (2023-2024), following doctoral research at Ghent University (2021-2023) and earlier engagements at HKUST, Ghent University, and the University of Bristol.

• Education: PhD in Mathematics: Algebra and Geometry from Ghent University (2021-2023), Thesis on Algebro-Geometric Algorithms for Program Synthesis; Integrated BSc and MSc in Mathematics and Computing from IIT Kharagpur (2015-2020).

Research Focus: Integrates mathematics into computational domains, particularly Computational Algebraic Geometry, Formal Verification, and Tensors. His work spans program synthesis, tensor networks, conditional independence models, and control theory applications.

Publications: Recent contributions include algorithmic advancements in formal methods (FM, AAAI, LAGOS), algebraic statistics (IMRN), and quantum computing (SIGMA). His research combines symbolic computation with practical software engineering challenges.

Awards & Honors:

• IEEE Computer Society Larson Best Paper Award (2023)
• ACM SIGPLAN Distinguished Paper Award (2023)
• Young Researcher of the Heidelberg Laureate Forum (2023)
• INSPIRE Scholarship (2015-2020)

Teaching: Guest Lecturer at HKUST, Teaching Assistant at RPTU Kaiserslautern-Landau and IIT Kharagpur. Mentored multiple bachelor's projects at Ghent University and IIT Kharagpur.