My detailed personal website: 

https://gaurav-rattan.github.io/

Since May 2024, I am an assistant professor at the University of Twente in the Department of Applied Mathematics. 

Previously, I was a postdoc at TU Darmstadt in the group of Pascal Schweitzer and a DFG Eigene Stelle researcher at RWTH Aachen in the group of Martin Grohe. Earlier, I did my PhD at IMSc Chennai and my B. Tech. at IIT Bombay

My current research is centered on the mathematical foundations of machine learning on graphs and discrete structures, with the goal of facilitating a theory-driven approach to the design of graph learning systems. Please check out my Google Scholar profile for more. 

My primary research is centered on graphs and networks, in particular, the study of classic computational problems on graphs using mathematical techniques such as logic and algebra.  Please check out my DBLP profile for more.

Along the way, I also explore the practical applications of graph learning tools such as graph neural networks (GNNs) to real-world applications such as optimization, bioinformatics and databases. 

https://gaurav-rattan.github.io/

Expertise

  • Computer Science

    • Automorphism Group
    • Natural Barrier
    • Constraint Programming
    • Popular Approach
  • Engineering

    • Search Space
    • Detection Algorithm
  • Mathematics

    • Linear Equation
    • Symmetry Breaking

Organisations

My detailed personal website: 

https://gaurav-rattan.github.io/

My primary research is centered on graphs and networks, in particular, the study of classic computational problems on graphs using mathematical techniques such as logic and algebra.  

My current research is centered on the mathematical foundations of machine learning on graphs and discrete structureswith the goal of facilitating a theory-driven analysis and design of graph learning systems. 

Along the way, I also explore the practical applications of graph learning tools such as graph neural networks (GNNs) to real-world applications such as optimization, bioinformatics and databases. 

For more, checkout my Google Scholar profile and my dblp profile.

Publications

2025

Homomorphism tensors and linear equations (2025)Advances in Combinatorics, 2025. Article 4. Grohe, M., Rattan, G. & Seppelt, T.https://doi.org/10.19086/aic.2025.4

2024

The Complexity of Symmetry Breaking Beyond Lex-Leader (2024)In 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Article 3 (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 307). Dagstuhl. Anders, M., Brenner, S. & Rattan, G.https://doi.org/10.4230/LIPIcs.CP.2024.3Satsuma: Structure-Based Symmetry Breaking in SAT (2024)In 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) (pp. 1-23). Article 4 (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 305). Dagstuhl. Rattan, G., Anders, M. & Brenner, S.https://doi.org/10.4230/LIPIcs.SAT.2024.4The Complexity of Symmetry Breaking Beyond Lex-Leader (2024)[Working paper › Preprint]. ArXiv.org. Anders, M., Brenner, S. & Rattan, G.https://doi.org/10.48550/arXiv.2407.04419satsuma: Structure-based Symmetry Breaking in SAT (2024)[Working paper › Preprint]. ArXiv.org. Anders, M., Brenner, S. & Rattan, G.https://doi.org/10.48550/arXiv.2406.13557

2021

Homomorphism Tensors and Linear Equations (2021)[Working paper › Preprint]. ArXiv.org. Grohe, M., Rattan, G. & Seppelt, T.https://doi.org/10.48550/arXiv.2111.11313

Research profiles

Address

University of Twente

Zilverling (building no. 11), room 4029
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location

Organisations

Scan the QR code or
Download vCard