# Insup Lee

> researcher

**Wikidata**: [Q67409223](https://www.wikidata.org/wiki/Q67409223)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Insup_Lee)  
**Source**: https://4ort.xyz/entity/insup-lee

## Summary
Insup Lee is a South Korean-born computer scientist, mathematician, and university teacher currently serving as a professor at the University of Pennsylvania. He is best known for his foundational research in real-time systems, specifically for his theoretical and practical contributions to compositional real-time scheduling and runtime verification. In recognition of his impact on the field, he was named a Fellow of the Association for Computing Machinery (ACM) in 2017.

## Biography
- Born: 1971 (South Korea)
- Nationality: South Korea; Korean American
- Education: Ph.D. in Computer Science, University of Wisconsin–Madison
- Known for: Contributions to compositional real-time scheduling and runtime verification
- Employer(s): University of Pennsylvania
- Field(s): Computer Science, Mathematics

## Contributions
Insup Lee has made significant advancements in the fields of real-time computing and formal methods. His research focuses on ensuring the reliability and predictability of complex software systems. He is particularly recognized for his work on compositional real-time scheduling, which provides a framework for integrating various software components while guaranteeing they meet strict timing requirements. 

Additionally, Lee has contributed extensively to runtime verification, a field dedicated to monitoring systems during execution to ensure they adhere to formal specifications. His work bridges the gap between theoretical formal methods and practical system implementation. As a long-standing faculty member at the University of Pennsylvania, he has also contributed to the academic community by advising a large cohort of doctoral students who have gone on to careers in research and education. His scholarly output is widely indexed across major academic databases, including IEEE Xplore, DBLP, and Google Scholar, reflecting a career of sustained technical influence.

## FAQs
### Q: What is Insup Lee's most significant professional honor?
A: Insup Lee was named an ACM Fellow in 2017. This distinction was awarded specifically for his theoretical and practical contributions to compositional real-time scheduling and runtime verification.

### Q: Where does Insup Lee conduct his research?
A: He is a researcher and professor at the University of Pennsylvania, where he has been affiliated for several decades and continues to manage an active research website.

### Q: Who were some of Insup Lee's notable doctoral students?
A: Lee has advised numerous students at the University of Pennsylvania, including Victor Fay-Wolfe (1991), Richard Gerber (1991), Jian Chang (2013), BaekGyu Kim (2015), and Alexander Roederer (2016).

## Why They Matter
Insup Lee’s work is critical to the development of "safety-critical" systems where timing and reliability are paramount. By developing methods for compositional scheduling, he enabled engineers to build large, complex real-time systems from smaller, independently verified parts. This modular approach reduces the complexity of system design and increases the safety of the final product. His research into runtime verification further ensures that if a system begins to fail or deviate from its intended path, those errors can be detected and addressed in real-time. Beyond his technical discoveries, his legacy is cemented by his role as a prolific doctoral advisor, having shaped the careers of multiple generations of computer scientists who now lead research in both academia and the industrial sector.

## Notable For
*   **ACM Fellow (2017):** Recognized for contributions to compositional real-time scheduling and runtime verification.
*   **Academic Mentorship:** Served as the doctoral advisor for over a dozen Ph.D. candidates at the University of Pennsylvania.
*   **Research Leadership:** Maintains a significant presence in the Association for Computing Machinery (ACM) and the Institute of Electrical and Electronics Engineers (IEEE).
*   **Formal Methods Pioneer:** Developed theoretical frameworks that bridge mathematical verification with practical computer science applications.

## Body
### Education and Early Career
Insup Lee completed his doctoral studies at the University of Wisconsin–Madison. His Ph.D. research was conducted under the supervision of R. C. Cook. Following his graduation, he established a long-term academic career at the University of Pennsylvania.

### Research Focus: Real-Time Systems
Lee's primary research interests lie at the intersection of computer science and mathematics. His work in compositional real-time scheduling addresses how multiple tasks can share a processor while still meeting their individual deadlines. This is a vital component in the design of embedded systems used in automotive, aerospace, and medical industries.

### Runtime Verification and Formal Methods
In addition to scheduling, Lee is a key figure in runtime verification. Unlike traditional testing, which happens before a product is released, runtime verification monitors a system while it is running. Lee’s contributions have helped create tools and theories that allow systems to self-check against their intended mathematical models, providing an extra layer of security and reliability.

### Academic Advisement and Legacy
Lee has a prolific record of supervising doctoral students at the University of Pennsylvania. His former students include:
*   **Victor Fay-Wolfe (1991):** Computer scientist.
*   **Richard Gerber (1991):** Computer scientist and university teacher.
*   **Jian Chang (2013):** Computer scientist.
*   **BaekGyu Kim (2015):** Computer scientist.
*   **Alexander Roederer (2016):** Computer scientist.
*   **Additional Students:** Michael J. May, Mahesh Viswanathan, Moonzoo Kim, Zhuoyao Zhang, David L. Smitley, Amy Elizabeth Zwarico, Robert B. King, and Patrice Marcel André Brémond-Grégoire.

### Professional Affiliations
Lee is a prominent member of the Association for Computing Machinery (ACM). He was officially inducted as an ACM Fellow on December 11, 2017. He also maintains professional profiles and author IDs with IEEE Xplore, DBLP, and the Mathematics Genealogy Project.

```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Insup Lee",
  "jobTitle": "Computer Scientist, Professor",
  "worksFor": {
    "@type": "Organization",
    "name": "University of Pennsylvania"
  },
  "nationality": [
    {
      "@type": "Country",
      "name": "South Korea"
    },
    {
      "@type": "Country",
      "name": "United States"
    }
  ],
  "birthDate": "1971",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of Wisconsin–Madison"
    }
  ],
  "knowsAbout": [
    "Computer Science",
    "Mathematics",
    "Compositional Real-Time Scheduling",
    "Runtime Verification"
  ],
  "sameAs": [
    "https://www.cis.upenn.edu/~lee/",
    "https://dblp.org/pid/l/InsupLee",
    "https://orcid.org/0000-0001-9215-4661"
  ],
  "description": "A computer scientist and professor at the University of Pennsylvania known for contributions to real-time scheduling and runtime verification."
}

## References

1. [Source](https://www.hellodd.com/news/articleView.html?idxno=12987)
2. Mathematics Genealogy Project
3. [Source](https://www.cis.upenn.edu/~lee/home/index.shtml)
4. [Source](https://www.acm.org/media-center/2017/december/fellows-2017)