有虫友了解新加坡国立大学Dong Jin Song(董劲松)教授吗?想进他的组,不知道组里风格和老板风格是什么样的,希望了解的虫友给解答一下,谢谢! 返回小木虫查看更多
这里找效率很低,可以试试找他们组的中国学生,不妨一问
这样,还可以找文献
董劲松是新加坡国立大学计算机学院教授。他的研究领域包括形式化方法、安全保障系统、概率推理、可信机器学习和运动策略分析。 他创建的PAT验证系统在2018年获得了第20届ICFEM最具影响力的系统。 他也是NASA杂志《软件工程与方法论》(ACM Transaction)的编辑委员会委员。 ,
别沉,还有金币
这里找效率很低,可以试试找他们组的中国学生,不妨一问
这样,还可以找文献
董劲松是新加坡国立大学计算机学院教授。他的研究领域包括形式化方法、安全保障系统、概率推理、可信机器学习和运动策略分析。
他创建的PAT验证系统在2018年获得了第20届ICFEM最具影响力的系统。
他也是NASA杂志《软件工程与方法论》(ACM Transaction)的编辑委员会委员。
,
别沉,还有金币