Members

Jieung Kim is a tenure-track assistant professor in Computer Engineering, College of Software & Convergence, Inha University. 

Jieung Kim worked at Google (Research - Personal AI Privacy & Security - and Core ML - Model Optimization - teams) before joining Inha University.  Before that, he received his degrees from Yale University (Ph.D), KAIST (M.S), and Sungkyunkwan University (B.S.). 

For more details, please visit the personal webpage.

I'm an undergraduate student majoring in Computer Engineering at Inha University. I'm currently interested in system software, formal verification.

I'm an undergraduate student majoring in Computer Engineering at Inha University. I'm interested in Machine learning developing frameworks, Formal verification, and Concurrency. 

I’m a visiting PhD student from ITU in Denmark. My current research consists of designing a DSL for use in computational storage, with the goal of making programmable SSDs both more user friendly and verifiably safe.

I'm an undergraduate student majoring in Computer Engineering at Inha University. I'm interested in functional programming, type system, and formal verification.

I'm an undergraduate student majoring in Information and Communication Engineering at Inha University. I like to study new topics. Now I'm interested in machine learning formal verification.

I'm an undergraduate student majoring in Computer Engineering at Inha University. I'm interested in Machine learning, Neural networks, and Computer networks.

I’m an undergraduate student majoring in Computer Engineering at Inha University. I’m interested in Software Safety Verification and System Software.

I'm an undergraduate student majoring in Computer Engineering at Inha University. I'm interested in system software, distributed systems, and blockchains.

I'm an undergraduate student majoring in Computer Engineering at Inha University. I'm interested in neural networks and machine learning. I am currently learning neural network reliability.

I'm an undergraduate student majoring in Computer Engineering at Inha University. I'm interested in distributed systems, and formal verification.

I'm an undergraduate student majoring in Computer Engineering at Inha University. I'm interested in formal verification and distributed systems.

I'm an undergraduate student majoring in Computer Engineering at Inha University. I'm interested in machine learning, and analyzing the security and reliability of neural network models.