Frank Jiang

I am a final-year WASP academic PhD student under the supervision of Karl Henrik Johansson and co-supervision of Jonas Mårtensson. I am affiliated with the Integrated Transport Research Lab (ITRL) and Digital Futures. I received my B.S. degree in Electrical Engineering and Computer Science from the University of California, Berkeley in 2016, and my M.S. degree in Systems, Control and Robotics from the KTH Royal Institute of Technology in 2019. My research interests are in formal verification, machine learning, and control, and their applications in robotics and intelligent transportation systems. For more details about my research work and activity, see my Google Scholar and LinkedIn profiles linked on the right.