I am a first-year Ph.D. student in Computer Science and Engineering at the University of Michigan, advised by Prof. Jean-Baptiste Jeannin in Michigan Aerospace and Robotics Verification Laboratory (MARVL) focusing on synchronous programming with formal verification for robotics.
Studying verification of cyber-physical systems and synchronous programming with refinement types. Advised by Prof. Jean-Baptiste Jeannin
Studied modeling and analysis of autonomous cyber-physical systems, with applications to artificial pancreas devices for type 1 diabetes treatment under the supervision of Prof. Sriram Sankaranarayanan
Studied identifying hybrid systems from the driving data to classify driving behaviors, under the supervision of Prof. Necmiye Ozay.
Developed a deep learning approach via TensorFlow with Convolutional Neural Network (CNN) to classify autism spectrum disorder and typical control participants and had a 93% accuracy, under the supervision of Prof. Tolga Cukur
Developed a gender recognition software via TensorFlow based on convolutional neural networks (CNN) with help of V-Count's demographic data collection
Created a mobile app connects towing trucks and cars named Go Assist in a team of 3 and solely responsible for frontend components with Dart and Flutter
Courses: Advanced Compilers, Automated Formal Verification
Activities: Member of Turkish Student Association
GPA: 4.00/4.00
Minor: Philosophy, GPA: 4.00/4.00
Courses: Linear Programming, Autonomous Systems, Advanced Data Structures, Introduction to Data Science, Human Computer Interaction
Activities: Member of Tau Beta Pi and Turkish Student Association
GPA: 3.47/4.00
Courses: Data Structures, Discrete Computational Structures, C Programming, Programming Language Concepts, Statistics, Algorithms, Data Management and File Structures, Computer Organization, Signals and Systems
My research interests are: Validating real-world, safety-critical systems, particularly ensuring the safety of cyber-physical systems in their actual deployment. I am currently focused on synchronous programming with verification for continuous and hybrid systems with applications in robotics.