尤西拉

Toni Jussila博士

助理

托尼·尤西拉获得博士学位赫尔辛基理工大学在秋季2005年,他一直在理论计算机实验室科学类在…的指导下伊尔卡·尼梅尔.

2006年2月至2007年7月,Toni Jussila是FMV(飞行管理车辆)在约翰内斯·开普勒林茨大学,然后搬到OneSpin(OneSpin)2019年,他搬家了回到芬兰德尔福(Delfoi).

研究兴趣

  • 正式验证
  • 量化布尔公式(QBF)
  • 命题可满足性(SAT)