Dr Jianglin Lan joins the group this May as a postdoctoral researcher.

He will be working on verification of neural systems, with funding from the Assured Autonomy project of DARPA. Welcome!