conf.researchr.org / Tianhai Liu
Registered user since Mon 1 Dec 2025
Name:Tianhai Liu
Country:Germany
Affiliation:Karlsruhe Institute of Technology (KIT), and aicas GmbH
Personal website: https://formal.kastel.kit.edu/~liu2/
Research interests:Formal methods, CPS, IoT, FPGA, AI
Contributions