我的研究方向是信息物理系统中的时间性验证和资源分配问题。简单来说的话，就是研究计算学意义上的时间和空间。
从时间性上来说，我研究无人驾驶汽车能否在1s钟之内从检测到行人，做出决策，直到彻底停下来。飞机引擎的处理器能以多快的速度处理任务，从而不错过传感器采样和引擎控制的固有周期。机器人能接受多大的时间扰动，仍然不偏离既有的控制曲线。
从空间性上来说，我探索要如何把1000个计算任务分配在64个计算核心上，同时让每个任务不错过deadline。如何分配500个机器人的路径和任务，让他们彼此配合的同时，又不会产生过多的冲突。一个城市的交通灯应该如何部署和协同，才能具有应对紧急危机的能力。特斯拉的充电桩如何在伦敦分布，才能减少平均的充电等待时间。
