The 21st International Conference on Formal Engineering Methods

ICFEM 2019

November 5th-9th, 2019, Shenzhen, China

International Workshop on Artificial Intelligence and Formal Methods (AI&FM 2019)

Nov. 5th, 2019

Jay Hoon Jung

Jay Hoon Jung is a Ph.D. candidate in Computer Science from The State University of New York at Korea. He received the master’s degree in physics from the State University of New York at Stony Brook. His doctoral research is to understand the basic law governing the neural networks to build the improved artificial intelligence models. He investigates the linear regions of the piece-wises neural networks to suggest trackable algorithm for the neural network verification. He also studies to create grid-like linear regions for better performance models.

← Back