Who am I?
Graduate student in Computer Science and Engineering with a specialization in formal testing and verification. Experienced in software development, research, and teaching, with a strong foundation in theoretical computer science. Passionate about using technology for impactful problem-solving.
Contact Information
- akagan@sabanciuniv.edu
- akagana2000@gmail.com
- Address: Orta Mahalle, Üniversite Caddesi No:27 Tuzla, 34956 İstanbul
Curriculum Vitae
Professional Experience
Part-time full-stack software engineer at Sabancı University IT (Feb 2024 - Present)
Software Tools Intern at BorgWarner Automative (Jun 2022 – Aug 2022)
Intern at Drupart Digital Solutions (Feb 2022 – Mar 2022)
Education
MSc. in Computer Science and Engineering from Sabancı University (Sep 2023 - Jun 2025)
Cumulative GPA: 3.92/4 | Full Scholarship
MSc. in Computer Science and Engineering from Sabancı University (Sep 2018 - Jun 2023)
Cumulative GPA: 3.43/4 | Full Scholarship
Field Projects
PURE Project Supervisor (SeismicShield) at Sabancı University (Feb 2024 – Sep 2024)
Managed a team of 12 people to provide technological solutions to disaster scenarios for 2 terms.
Built mobile and web applications for disaster awareness and response.
Rocket Team Leader (Sabanci Aerospace Team) at Sabancı University (Dec 2019 – Jun 2021)
Led the rocket team to build two rockets to reach 3000 meters peak altitude.
Developed communication systems for flight computer of a rocket by using an MCU.
Designed 3dof & 6dof systems to simulate rocket flight with MATLAB and Python.
Competed in TEKNOFEST and EuRoC rocket competitions.
Academic Experience
Thesis Research at Sabancı University (Jun 2023 – Present)
Conducted research with Hüsnü Yenigün in the field of formal testing and verification on finite state machines.
Currently experimenting with a new hybrid heuristic approach in C++ to yield better test sequences for testing and verification.
Made data analysis of exact algorithms with Python that find the shortest synchronizing sequences.
Designed and implemented a novel (faster) heuristic-algorithm approach “X-Greedy” for synchronizing sequence problem (not yet published).
Graduate Teaching Assistant of CS407 - Theory of Computation at Sabancı University (Feb 2025 – Present)
Graduate Teaching Assistant of CS310 - Mobile Application Development at Sabancı University (Sep 2023 – Jan 2025)
Undergraduate Learning Assistant of CS302 - Formal Languages and Automata Theory at Sabancı University (Feb 2022 – Jun 2023)
Undergraduate Graduation Project at Sabancı University (Sep 2022 – Jun 2023)
Worked on simulation and HIL Design of Vertical Rocket Landing.
Developed a simulation environment with C++ for graphical representation of a rocket flight.
Language & Skills
Languages: Turkish (Native), English (Advanced), Japanese (Intermediate-N3), Turkish Sign Language.
Programming Languages: C++, Python, PHP, Javascript, SQL
Frameworks & Tools: OpenMP, CodeIgniter 4, React.js
Volunteer Experience
Sabancı University Search and Rescue Club (SUAK)
Participated in disaster awareness panels and technology-driven search and rescue initiatives.
Led development of technological tools for rescue teams.
Sabanci University CIP Sign Language
Supervised and taught Turkish sign language courses for two semesters.