Welcome!

about

Hi! I am currently a Computer Science and Mathematics Double Degree Programme student at the National University of Singapore. I am interested in algorithm research and theory of artificial intelligence. My home faculty is the School of Computing (SoC) but technically also belong to the Department of Mathematics. I am also an incoming Masters of Research (MRes) student in Artificial Intelligence also at SoC.

I previously studied at Victoria Junior College for my pre-University education.

I am born and raised here in Singapore.

I am also looking for PhD positions in the US, UK for the Fall of 2027.

research interests

1. Constraint Satisfaction (SAT Solving/SMT Solving)
2. Mathematical Optimisation (Discrete and Continuous)
3. Artificial Intelligence and Machine Learning (Decision Making) Theory

conferences

1. International Conference of Learning Representations (ICLR) 2025 (Singapore)

awards (uni only)

1. REx Prime Fellowship ($1000) - Would have been $2500 if the fellowship existed when I was in Year 3
2. Distinction in Algorithms and Theory Focus Area (SoC)
3. Distinction in A.I Focus Area (SoC)
4. CS3263 Foundations of A.I Best Project Award ($30)
5. Orbital Artemis Achievement Level

experience

Jan 2025 - Present

• Undergraduate Researcher @ AGORAI (Algorithms, Games, Operations Research, Artificial Intelligence) Lab, NUS School of Computing
  • Topics: Computational Game Theory, with links to Optimisation, Algebraic Topology etc.
  • Final Year Project (FYP) Student (Jan 25 - Nov 25)
  • Post FYP Student (Dec 25 - Present)
  • Independent Researcher under Independent Work Scheme CP3108B (Expected Jan 2026 - May 2026)

Jan 2025 - May 2025

• Teaching Assistant @ NUS School of Computing.
  • Grader in CS4246/CS5446 A.I Planning and Decision Making

May 2024 - Aug 2024

• Algorithm and A.I Intern @ Advanced Remanufacturing Technology Center (A*STAR)
• Software Engineering Intern (Dual Role in a single internship)
  • Part of the A*STAR Internship Award (ARIA)
  • Project scope includes backend development and computational geometry in the algorithm side

May 2023 - May 2024

• Undergraduate Researcher (UROPs) @ Computer Architecture Group, NUS School of Computing
  • Accelerating SAT Solver Solutions in FPGAs
  • Supervised by Prof Trevor Carlson (on-site), and Prof Kuldeep S. Meel (remote)

May 2023 - Aug 2023

• Data Trust Intern @ Seagate Technologies
  • Worked on Optical Fully Homomorphic Encryption
  • Presenter in the Seagate Research Group Tech Sharing (across Singapore, USA, India)

March 2021 - June 2021

• Machine Learning Intern in the Information Exploitation Lab @ DSO National Labs
  • Confidential Work on Machine Learning with SAT Solvers

Jan 2019 - Feb 2019

• Cybersecurity Intern @ DSTA
  • Confidential Work on Elliptic Curve Cryptography

service

1. tutoring

I provide tutoring services for Secondary school O Level E/A maths and A Level H2 Maths/Further Maths. I have taught a total of 3 students from their secondary school days and seen them through A Levels. All of my former students are in university now.

contact

1. email: russelltankm@u.nus.edu
2. github: russelltankaimin
3. NUS SOC email: rtkm8168@comp.nus.edu.sg