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.
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 2026.
research interests
- Constraint Satisfaction (SAT Solving/SMT Solving)
- Mathematical Optimisation (Discrete and Continuous)
- Artificial Intelligence and Machine Learning (Decision Making) Theory
conferences
- International Conference of Learning Representations (ICLR) 2025 (Singapore)
awards (uni only)
- REx Prime Fellowship ($1000) - Would have been $2500 if the fellowship existed when I was in Year 3
- Distinction in Algorithms and Theory Focus Area (SoC)
- Distinction in A.I Focus Area (SoC)
- CS3263 Foundations of A.I Best Project Award ($30)
- Orbital Artemis Achievement Level
experience
Jan 2025 - Present
- Undergraduate Researcher (Final Year Project CP4101)
- Computational Game Theory
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
- 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
- email: russelltankm@u.nus.edu
- github: russelltankaimin
- NUS SOC email: rtkm8168@comp.nus.edu.sg