Skip to content
View russelltankaimin's full-sized avatar
🎯
Focusing
🎯
Focusing

Highlights

  • Pro

Block or report russelltankaimin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
russelltankaimin/README.md

Hi there πŸ‘‹ I'm Russell!

I'm a 4th Year Comp Sci and Maths Double Degree Student at NUS

  • πŸ‘¨β€πŸ’» I’m currently working on a variety of problems: SAT Solving, Cryptography, A.I and more Combinatorial Optimisation problems.
  • πŸ“š Outside of research, I am also learning everything about Frontend and Backend technologies
  • πŸ’ͺ🏼 Future Goals: Contribute to scientific software, academic research
  • Current Project: I am currently doing my FYP on Computational Game Theory and a side project called AlphaSAT, a SAT Solver using GOFAI and some M.L techniques.
  • Expected Graduation: May 2026, probably pursuing PhD after.

Languages I use

C C++ Rust HTML5 Java Python Haskell SQL JavaScript

Some of the technologies I have worked with

Git Linux React Java Spring Firebase Google Cloud Tensorflow GraphQL


Last edited on: 03/12/2024

Pinned Loading

  1. TimeTable-Scheduler TimeTable-Scheduler Public

    NUS Mods Timetable Scheduler using constraint optimisation techniques from a SAT Solver

    Python 1 1

  2. TheGrumpyNUSFreshman TheGrumpyNUSFreshman Public archive

    Forked from seanfirefox/TheGrumpyNUSFreshman

    Orbital Project 2022 (Artemis)

    Java

  3. AY2223S2-CS2103T-W14-2/tp AY2223S2-CS2103T-W14-2/tp Public

    Forked from nus-cs2103-AY2223S2/tp

    Java 1 5

  4. tankaimin tankaimin Public

    My Main Site as of 2024.

    HTML