About Me

I am a first year Ph.D. student in the School of Computer Science at the College of Computing at Georgia Tech. As a graduate research assistant, I currently study information security in the Institute for Information Security & Privacy (IISP).

Before that, I received my M.S. degree in Computer Science in Georgia Tech under the supervision of Bill Harris in 2017. Prior joining GaTech, I had pursued professional career (as software architecture and software team leader) for 5 years. I recieved my B.S. degree from the Computer Engineering Deparmant at TOBB ETU in 2009.

Research Interest

My primary research interest is Software Security which applies Programming Languages techniques -- model checking, verfication -- on security aspects. My research currently focus on binary analysis and malware analysis. My research consists of mainly static program analysis. I am currently working on concolic execution -- static and dynamic analysis together.

Publications

Papers

Complexity Verification using Guided Theorem Enumeration.
  Srikanth, Akhilesh, Burak Sahin, and William R. Harris, POPL 2017

Theses

A MODEL CHECKER FOR JAVA BYTECODE, WITH NOVEL APPLICATIONS
  Burak Sahin Georgia Tech 2017

Awards & Scholarships

Featured in the School of Computer Science Annual Report
  Georgia Tech, Oct. 2016
ITIL Foundation Certificate in IT Service Management
  PEOPLECERT, Jan. 2014
Exellence in Co-Op Education / Best Intern Award
  TOBB ETU & Siemens A.G., Jun. 2007
Full Undergraduate Study Scholarship
  TOBB ETU, Sep. 2004

Contact

Georgia Institute Of Technology
  Klaus Advanced Computing Building
  266 Ferst Dr NW
  Room 3110
  Atlanta, GA 30013

<firstname><lastname>gatechedu

<fname><lname><#eightysix>gmailcom