Education
Ph.D. in Computer Science
2021 - Present
B.S. Computer Engineering
2017-2021
Work Experience
Bloomberg
June 2024 - Aug 2024
Research Intern
New York, USA
Amazon Web Services
May 2023 - Aug 2023
Applied Science Intern
New York, USA
Python
Java
Dataflow Analysis
University of Maryland
Aug 2022 - Present
Graduate Research Assistant at PLUM
Maryland, USA
Coq
OCaml
Python
Property Based Testing
Amazon Web Services
May 2022 - Aug 2022
Applied Science Intern
New York, USA
Python
Dafny
AWS Encryption SDK
University of Maryland
Jul 2020 - Dec 2020
Research Intern at MC2
Maryland, USA(Remote)
Havelsan
Jul 2020 - Jul 2021
Working Student Engineer
Ankara, Turkey
Javascript
React
Emproof
Jun 2019 - Sept 2019
Embedded Security Engineering Intern
Bochum, Germany
C++
Z3 SMT Solver
ARM Assembly
Symbolic Execution