# Hongseok Yang

> Ph.D. University of Illinois at Urbana-Champaign 2001

**Wikidata**: [Q102248503](https://www.wikidata.org/wiki/Q102248503)  
**Source**: https://4ort.xyz/entity/hongseok-yang

## Summary
Hongseok Yang is a computer scientist and professor at KAIST, known for his research in programming languages and formal verification. He earned his Ph.D. from the University of Illinois at Urbana-Champaign in 2001 under the supervision of Uday Reddy.

## Biography
- Born: Not available
- Nationality: Not available
- Education: Ph.D. in Computer Science from University of Illinois at Urbana-Champaign (2001)
- Known for: Research in programming languages and formal verification
- Employer(s): KAIST (current)
- Field(s): Computer Science, Programming Languages, Formal Verification

## Contributions
Hongseok Yang has made significant contributions to the field of programming languages and formal verification. His research focuses on developing mathematical foundations and tools for reasoning about computer programs. Yang has published extensively in top-tier conferences and journals, including POPL, PLDI, and ICFP. His work has advanced the understanding of program semantics, type systems, and program analysis techniques. Yang's research has practical applications in software verification, compiler optimization, and language design. He has also mentored numerous students who have gone on to make their own contributions to the field.

## FAQs
### Q: Where did Hongseok Yang complete his Ph.D.?
A: Hongseok Yang completed his Ph.D. in Computer Science at the University of Illinois at Urbana-Champaign in 2001.

### Q: Who was Hongseok Yang's doctoral advisor?
A: Hongseok Yang's doctoral advisor was Uday Reddy.

### Q: What is Hongseok Yang known for in his field?
A: Hongseok Yang is known for his research in programming languages and formal verification, particularly in developing mathematical foundations for reasoning about computer programs.

## Why They Matter
Hongseok Yang's work has been instrumental in advancing the field of programming languages and formal verification. His research has provided new insights into program semantics and type systems, which are fundamental to the development of reliable and efficient software. Yang's contributions have influenced both theoretical understanding and practical applications in software verification and compiler optimization. His mentorship of students has also helped shape the next generation of researchers in this field, ensuring the continued growth and development of programming language theory and its applications.

## Notable For
- Ph.D. from University of Illinois at Urbana-Champaign (2001)
- Professor at KAIST
- Extensive publications in top-tier conferences (POPL, PLDI, ICFP)
- Research in programming languages and formal verification
- Mentorship of numerous students in the field

## Body
### Academic Background
Hongseok Yang received his Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign in 2001. His doctoral advisor was Uday Reddy, a prominent figure in the field of programming languages.

### Research Focus
Yang's research primarily focuses on programming languages and formal verification. His work involves developing mathematical foundations and tools for reasoning about computer programs, which is crucial for ensuring software reliability and security.

### Publications and Impact
Yang has published extensively in top-tier conferences and journals in his field, including:
- Principles of Programming Languages (POPL)
- Programming Language Design and Implementation (PLDI)
- International Conference on Functional Programming (ICFP)

His publications have contributed to advancements in program semantics, type systems, and program analysis techniques.

### Practical Applications
The research conducted by Yang has practical applications in several areas:
- Software verification: Ensuring the correctness of computer programs
- Compiler optimization: Improving the efficiency of compiled code
- Language design: Informing the development of new programming languages

### Mentorship and Influence
As a professor at KAIST, Yang has mentored numerous students who have gone on to make their own contributions to the field of computer science. His influence extends beyond his own research through the work of his students and collaborators.

## References

1. Mathematics Genealogy Project