about me

Gihyuk Ko is a Ph.D. Candidate in Electrical and Computer Engineering at Carnegie Mellon University. He is fortunate to be advised by Anupam Datta and Matt Fredrikson. He recently received M.S. in Electrical and Computer Engineering at Carnegie Mellon University, on the way to his Ph.D. Prior to joining CMU, he received B.S. degree in Electrical and Computer Engineering at Seoul National University in 2012. He is a member of Accountable Systems Lab and CyLab.

research

Gihyuk's research is primarily focused on efficiently verifying various properties (e.g., privacy, fairness) of machine learning programs. As a result, he is interested in formal methods, security and privacy, and machine learning.

Publications

Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs
Anupam Datta, Matt Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen (alphabetical)
In Proceedings of the ACM Conference on Computer and Communications Security (CCS), October 2017
Proxy Non-Discrimination in Data-Driven Systems
Anupam Datta, Matt Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen (alphabetical)
Preprint, July 2017

Posters

Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs
Anupam Datta, Matt Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen (alphabetical)
In Proceedings of the IEEE Symposium on Security and Privacy (S&P), May 2017
CyLab Partners Conference, September 2017
Samsung Academic Camp, July 2017
Privacy Day, January 2017


Talks

Accountability in Machine Learning Systems via Program Analysis
Seminar talk at KAIST, Korea University, SKKU, Jun 2017
Towards Accountable Machine Learning System
Seminar talk at KDisTech, December 2016
Use Privacy in Machine Learning Systems via Proxy Use
Seminar talk at SODA Group, November 2016
Deception Game on Decoy Systems
Qualifying exam talk, April 2015

experience

Education

Carnegie Mellon University, Pittsburgh, USA
Ph.D. Candidate in Electrical and Computer Engineering, August 2012 - present.
M.S. in Electrical and Computer Engineering, August 2015.
Seoul National University, Seoul, Korea
B.S. in Electrical and Computer Engineering, August 2012.

Teaching

TA, Applied Cryptography, Spring 2017 [www]
TA, Applied Cryptography, Spring 2014 [www]
TA, Introduction to Computer Security, Fall 2013 [www]

Professional Services

External Reviewer - IEEE S&P'13,'14, ACM CCS'16,'17, NDSS'17, FATML'16

Awards and Honors

Samsung Scholarship, September 2012 - August 2017
CIT Dean's Scholarship, September 2012 - August 2013
Undergraduate Research Program(URP) Funding, KOFAC, March 2011 - February 2012
National Science and Technology Scholarship, KOSAF, March 2008 - February 2012
Outstanding Academic Achievement Fellowship, SNU, July 2008
Outstanding Student Fellowship, GIST, May 2007
Sungdu Scholarship, DSHS, May 2006

others

I love playing musical instruments

I play piano, daegeum, and various other instruments - including my own voice - all just for fun.

I enjoy outdoor activities

I enjoy cycling, snowboarding, swimming, and of course, walking around for no specific reason.

I would like to understand the world better by travelling

If time allows, I would like to wander around many more places.