About Me

Hey! I'm Saif Ali Khan, I'm passionate about building and solving real-world problems through code.
I'm currently focusing on backend development, learning and working with Java, Spring Boot, Go, and Ruby on Rails.
I love contributing to open-source projects. I recently completed Google Summer of Code (GSoC) and I'm excited to contribute to Hacktoberfest.
This portfolio is part of my ongoing learning journey, and I'm always eager to collaborate, explore new technologies, and grow as a backend developer.

Reach Out to Me

Feel free to connect with me! I'm always open to discussions.

Hire Me

I'm currently looking for internships and full-time opportunities.

Experience

GSoC LogoJPF Team Logo
Google Summer of CodeContributor - The JPF Team
2 Jun 2025 - 1 Sept 2025
Added support for raising runtime exceptions, like NullPointerException and StringIndexOutOfBoundsException for string methods in Symbolic PathFinder (SPF), improving SV-COMP benchmark results and refining exception handling in the tool.
JavaGradleJVMSPFJPFBytecodeModel CheckingSymbolic Execution

Skills

Languages:Java, C/C++, JavaScript, SQL, Golang
Technologies/Frameworks:Spring Boot, Hibernate, JUnit, Tailwind CSS, MySQL, REST API
Others:Linux, Git, GitHub, Thymeleaf, Flowbite, HTML/CSS, Maven, Markdown

Projects

👗
bobbywear.com
bobbywear.comReactjs, Tailwind CSS, Vite, JavaScript
September 2025 - Present
A girls' wear manufacturing wholesale store catalog offering a wide range of dresses.
🧮
mathJX
mathJXJava, Mathematics, Algorithms
March 2025 - Present
Java library for core math algorithms: logarithms, prime sieves, fast exponentiation, and more. Designed for performance and clarity.
📱
Smart Contact Manager
Smart Contact ManagerJava, Spring Boot, Thymeleaf, MySQL
Jan 2025 - Present
A secure, full-stack contact management web application. Features CRUD for contacts, authentication, and a responsive UI. Built with Spring Boot.

Other Achievements & Activities

  • Secured 4th position in CODE MENIA 2024, a coding event held at Jagran Institute of Management, Kanpur, among participants from over 10 different colleges.
  • Worked for 2 months with a company on their Ed-Tech Startup website, developing and designing frontend components using HTML, CSS, JavaScript, Bootstrap, and Swiper.js.
  • Served as Student Coordinator and Technical Head, managing, video editing (After Effects, DaVinci Resolve, Clipchamp), at my college events.
  • I write technical blogs on Hashnode.