The HCPS Lab is looking for talented undergrad and graduate students for the following projects:
Students with background in Formal Methods and Deep Learning are prioritized.
Please contact Prof. Zhihao Jiang with your up-to-date transcript and resume.