World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
76
Citations
21603
World Ranking
1349
National Ranking
707

Research.com Recognitions

  • 2001 - IEEE Fellow For contributions to the specification languages and verification tools for real-time systems.

Overview

Insup Lee is affiliated with the University of Pennsylvania in the United States. Their research contributions span multiple fields within computer science, with a focus on artificial intelligence, materials chemistry, renewable energy and sustainability, control and systems engineering, and software.

The scientist's work addresses a range of topics including adversarial robustness in machine learning, anomaly detection techniques, advanced photocatalysis techniques, fault detection and control systems, formal methods in verification, machine learning and data classification, as well as copper-based nanomaterials and applications.

Notable recent publications include:

  • Stacked LSTM based deep recurrent neural network with kalman smoothing for blood glucose prediction, 2021, BMC Medical Informatics and Decision Making
  • Enhanced Visible-Light Photocatalysis of Nanocomposites of Copper Oxide and Single-Walled Carbon Nanotubes for the Degradation of Methylene Blue, 2020, Catalysts
  • Verifying the Safety of Autonomous Systems with Neural Network Controllers, 2020, ACM Transactions on Embedded Computing Systems
  • Automated Insulin Delivery for Hypoglycemia Avoidance and Glucose Counterregulation in Long-Standing Type 1 Diabetes with Hypoglycemia Unawareness, 2023, Diabetes Technology & Therapeutics
  • Coherent CuO-ZnO nanobullets maneuvered for photocatalytic hydrogen generation and degradation of a persistent water pollutant under visible-light illumination, 2021, Journal of environmental chemical engineering

Frequent co-authors collaborating with Insup Lee include:

  • Oleg Sokolsky
  • James Weimer
  • Jae Ryang Hahn
  • Santu Shrestha
  • Narayan Gyawali

Common publication venues where their work has appeared encompass:

  • arXiv (Cornell University)
  • SSRN Electronic Journal
  • Journal of Photochemistry and Photobiology A Chemistry
  • ACM Transactions on Computing for Healthcare
  • ACM Transactions on Cyber-Physical Systems

In recognition of contributions to specification languages and verification tools for real-time systems, Insup Lee was named an IEEE Fellow in 2001.

Best Publications

  • Cyber-physical systems: the next computing revolution

    Ragunathan (Raj) Rajkumar;Insup Lee;Lui Sha;John Stankovic

  • Periodic resource model for compositional real-time guarantees

    Insik Shin;Insup Lee

  • Challenges and Research Directions in Medical Cyber–Physical Systems

    Insup Lee;O. Sokolsky;Sanjian Chen;J. Hatcliff

  • Compositional real-time scheduling framework with periodic model

    Insik Shin;Insup Lee

  • Java-MaC: A Run-Time Assurance Approach for Java Programs

    Moonzoo Kim;Mahesh Viswanathan;Sampath Kannan;Insup Lee

  • Modular Specification of Hybrid Systems in CHARON

    Rajeev Alur;Radu Grosu;Yerang Hur;Vijay Kumar

  • Robustness of Attack-Resilient State Estimators

    Miroslav Pajic;James Weimer;Nicola Bezzo;Paulo Tabuada

  • Opportunities and obligations for physical computing systems

    J.A. Stankovic;I. Lee;A. Mok;R. Rajkumar

  • Java-MaC: A Run-time Assurance Tool for Java Programs

    Moonjoo Kim;Sampath Kannan;Insup Lee;Oleg Sokolsky

  • Compositional Analysis Framework Using EDP Resource Models

    A. Easwaran;M. Anand;I. Lee

  • Verisig: verifying safety properties of hybrid systems with neural network controllers

    Radoslav Ivanov;James Weimer;Rajeev Alur;George J. Pappas

  • Runtime Assurance Based On Formal Specifications

    Insup Lee;Sampath Kannan;Moonjoo Kim;Oleg Sokolsky

  • Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors

    I. Shin;A. Easwaran;I. Lee

  • Hierarchical modeling and analysis of embedded systems

    R. Alur;Thao Dang;J. Esposito;Yerang Hur

  • Medical cyber physical systems

    Insup Lee;Oleg Sokolsky

  • Wireless Sensor Networks

    Insup Lee;Joseph Y-T. Leung;Sang H. Son

  • Compositional real-time scheduling framework

    Insik Shin;Insup Lee

  • A Temporal Logic Based Theory of Test Coverage and Generation

    Hyoung Seok Hong;Insup Lee;Oleg Sokolsky;Hasan Ural

  • Formally specified monitoring of temporal properties

    Moonjoo Kim;M. Viswanathan;H. Ben-Abdallah;S. Kannan

  • A Framework and Architecture for Multi-Robot Coordination

    Rafael Fierro;Aveek Das;John Spletzer;Joel Esposito

  • RTSS 2007: Preface

    Tarek Abdelzaher;Gerhard Fohler;Tei Wei Kuo

  • A Framework and Architecture for Multirobot Coordination

    Rajeev Alur;Aveek K. Das;Joel M. Esposito;Rafael B. Fierro

Frequent Co-Authors

Oleg Sokolsky
Oleg Sokolsky University of Pennsylvania
Miroslav Pajic
Miroslav Pajic Duke University
Sampath Kannan
Sampath Kannan University of Pennsylvania
George J. Pappas
George J. Pappas University of Pennsylvania
Insik Shin
Insik Shin Korea Advanced Institute of Science and Technology
Susan B. Davidson
Susan B. Davidson University of Pennsylvania
Rajeev Alur
Rajeev Alur University of Pennsylvania
Mahesh Viswanathan
Mahesh Viswanathan University of Illinois at Urbana-Champaign
Boon Thau Loo
Boon Thau Loo University of Pennsylvania
Chenyang Lu
Chenyang Lu Washington University in St. Louis

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to a wide range of related online degrees and career opportunities. Many students opt for computer science accelerated program options, enabling them to earn a degree faster and start their tech career sooner.

If you are interested in areas beyond traditional computer science, consider the cheapest online environmental science degree programs that focus on sustainability and eco-friendly technologies.

For those inclined toward engineering, understanding the mechanical engineering cost of education is important when planning your academic pathway. Mechanical engineering offers robust career prospects in various industries.

Additionally, a foundation in science can be strengthened by pursuing the best online physics degree, equipping graduates with analytical and problem-solving skills sought after in many technology fields.

Each of these online degrees offers flexible learning and the opportunity to specialize in high-demand sectors—paving the way for dynamic and rewarding career trajectories.

Best Scientists Citing Insup Lee

Trending Scientists