mijn persononlijke webpagina:

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

Sinds mei 2024 ben ik universitair docent aan de Universiteit Twente bij de afdeling Toegepaste Wiskunde.

Voorheen was ik postdoc aan de TU Darmstadt in de groep van Pascal Schweitzer en DFG Eigene Stelle-onderzoeker aan de RWTH Aachen in de groep van Martin Grohe. Eerder deed ik mijn PhD aan IMSc Chennai en mijn B. Tech. aan IIT Bombay.

Mijn huidige onderzoek richt zich op de wiskundige grondslagen van machine learning op grafieken en discrete structuren, met als doel een theoriegestuurde benadering van het ontwerp van grafiekleersystemen te faciliteren. Bekijk mijn Google Scholar-profiel voor meer informatie.

Mijn primaire onderzoek richt zich op grafieken en netwerken, met name de studie van klassieke computationele problemen op grafieken met behulp van wiskundige technieken zoals logica en algebra. Bekijk mijn DBLP-profiel voor meer informatie.

Onderweg onderzoek ik ook de praktische toepassingen van hulpmiddelen voor grafisch leren, zoals grafische neurale netwerken (GNN's), voor toepassingen in de echte wereld, zoals optimalisatie, bioinformatica en databases.

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

Expertises

  • Computer Science

    • Automorphism Group
    • Constraint Programming
    • Popular Approach
    • Symmetry Reduction
  • Mathematics

    • Homomorphism
    • Linear Equation
    • Symmetry Breaking
    • Tensor

Organisaties

My detailed personal website: 

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

Mijn primaire onderzoek is gericht op grafen en netwerken, in het bijzonder de studie van klassieke computationele problemen op grafen met behulp van wiskundige technieken zoals logica en algebra.  

Mijn huidige onderzoek richt zich op de wiskundige grondslagen van machine learning op grafieken en discrete structuren, met als doel een theoriegedreven ontwerp en analyse van graph learning-modellen mogelijk te maken. Gaandeweg onderzoek ik ook praktische toepassingen van hulpmiddelen voor het leren van grafieken, zoals grafische neurale netwerken (GNNs) voor toepassingen in de echte wereld. 

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

Publicaties

2026

Satsuma: Structure-based Symmetry Breaking in SAT (2026)Journal of Artificial Intelligence Research, 85. Article 6. Anders, M., Brenner, S. & Rattan, G.https://doi.org/10.1613/jair.1.18744

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

Onderzoeksprofielen

QR codeScan de QR-code of
Download vCard