Faculty profile
Jun Liu
Back to facultyThis profile is built from public research funding records (CIHR, NSERC and SSHRC) and PubMed. We have not imported them from a University of Waterloo directory, so their courses and email address may be missing. Find their university profile.
Research
Latest papers
Evaluation of Dechlorinating Chemicals for Spent Membrane Cleaning Solutions.
Water environment research : a research publication of the Water Environment Federation · 2016 · senior author
Latest funding
- $131,635
Fast and Safe: GPU-Enabled Formal Methods for Control of Safety-Critical Cyber-Physical Systems
NSERC · 2024 · Principal investigator
- $138,000
Formal Methods for Control of Cyber-Physical Systems: Theory, Algorithms, and Implementations
NSERC · 2022 · Principal investigator
- $300,000
Hybrid Systems and Control
NSERC · 2021 · Principal investigator
1 publications.
Evaluation of Dechlorinating Chemicals for Spent Membrane Cleaning Solutions.
Ko J, Parker W, Liu J
Fast and Safe: GPU-Enabled Formal Methods for Control of Safety-Critical Cyber-Physical Systems
Principal investigators: Liu, Jun
Keywords: control systems; cyber-physical systems; formal methods; GPU-enabled computation; hybrid systems; machine learning; optimization; robotics; safe AI; safety-critical control
Formal Methods for Control of Cyber-Physical Systems: Theory, Algorithms, and Implementations
Principal investigators: Liu, Jun
Keywords: cyber-physical systems; hybrid systems; control theory; formal methods; machine learning; optimization; robotics; validated computation; reinforcement learning; safety-critical control
Hybrid Systems and Control
Principal investigators: Liu, Jun
Keywords: hybrid systems; control theory; formal methods; validated computation; robotics; machine learning; reinforcement learning; optimization
Design and implementation of shared autonomy protocols for unmanned ground vehicles
Principal investigators: Liu, Jun
Hybrid Systems and Control
Principal investigators: Liu, Jun
Hybrid Systems and Control
Principal investigators: Liu, Jun
Cyber-Physical Networks: Foundations, Correct-by-Construction Control Design, and Applications
Principal investigators: Liu, Jun
Hybrid Systems And Control
Principal investigators: Liu, Jun
From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.
Frequent collaborators
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.