CV

Education

Formal methods, cyber-physical systems, AI/ML, AI safety, statistical verification, compositional analysis, runtime monitoring/assurance, goal-conditioned RL, representation learning.

Education

• Ph.D. in Computer Science, University of California, Berkeley, USA (2021 - Present)
• B.Sc. in Computer Engineering, Middle East Technical University, Ankara, Turkey (2015 - 2020)

Research Experience

• Spring 2024: Academic Pages Collaborator
  • Github University
  • Duties includes: Updates and improvements to template
  • Supervisor: The Users
• Fall 2015: Research Assistant
  • Github University
  • Duties included: Merging pull requests
  • Supervisor: Professor Hub
• Summer 2015: Research Assistant
  • Github University
  • Duties included: Tagging issues
  • Supervisor: Professor Git

Skills

• Skill 1
• Skill 2
  • Sub-skill 2.1
  • Sub-skill 2.2
  • Sub-skill 2.3
• Skill 3

Publications

Paper Title Number 4

Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).

Paper Title Number 3

Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).

Paper Title Number 2

Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2).

Paper Title Number 1

Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).

Talks

Conference Proceeding talk 3 on Relevant Topic in Your Field

March 01, 2014

Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA

Talk 2 on Relevant Topic in Your Field

February 01, 2014

Talk at London School of Testing, London, UK

Tutorial 1 on Relevant Topic in Your Field

March 01, 2013

Tutorial at UC-Berkeley Institute for Testing Science, Berkeley CA, USA

Talk 1 on Relevant Topic in Your Field

March 01, 2012

Talk at UC San Francisco, Department of Testing, San Francisco, California

Teaching

Teaching experience 2

Teaching experience 1

Service and leadership

• Currently signed in to 43 different slack teams