Bineet Ghosh

Design and Automation Conference (DAC). 2024. Sub-Reviewer.

ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2024, 2023. Sub-reviewer.

National Science Foundation (NSF) Panel. 2023.

IEEE Transactions on Automation Science and Engineering (TASE). 2023. Reviewer.

IEEE International Conference on Automation Science and Engineering (CASE). 2024, 2023, 2022. Sub-reviewer.

International Conference on Robotics and Automation (ICRA). 2024, 2023. Sub-reviewer.

ACM Journal on Autonomous Transportation Systems. 2022. Reviewer.

Journal Computing. 2022, 2021. Reviewer.

ACM Transactions on Cyber-Physical Systems (ACM TCPS). 2022, 2021. Reviewer.

Fundamental Approaches to Software Engineering (FASE). 2022. Sub-reviewer.

International Conference on Embedded Software (EMSOFT). 2023, 2022, 2021. Ad hoc Reviewer.

Mathematical Foundations of Computer Science (MFCS). 2020. Sub-reviewer.

International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 2018. Ad hoc Reviewer.