 维克托·库恰克
麻省理工学院博士，2007年(生物)
EPFL副教授
组：拉腊
个人简历
出版物
过去的博士生
芭芭拉
|
维克托·库恰克领导了LARA（自动推理与分析实验室）.
EPFL目录中页面的链接.
Infoscience集团（现任和前任）成员的出版物子集。
作为的一部分IC学校EPFL的(检查我们的博士课程)LARA研究编程语言和形式化方法（验证、综合）。
按：ZDNet文章
一些讲座视频（另请参阅youtube上的播放列表): 就职演讲幻灯片和视频
2017年哥本哈根Scala日主题演讲.
我是编程机器学习的协调者和联合主席(第1天,第2天)，项目联合主席2017年CAV和2015年同期,联合主席和本地组织者2014年FMCAD和联合主席2012年VMCAI.
出版物列表(DBLP公司,谷歌学者,ACM公司,ResearchGate公司,ORCID公司)
电子邮件：viktor.kuncak@epfl.ch
秘书：+41 21 693 4943
直拨电话：+41 21 693 5281
（请先发电子邮件）
传真：+41 21 69 36660
邮寄地址：
维克托·昆卡，
EPFL公司集成电路
拉腊
318卢比,
车站14，
CH-1015洛桑,
瑞士
方向
(github,数学家谱)乳臭虫
请注意，任何自称是我的社交媒体帐户都可能是假的。不要以为我支持他们中的任何一个。
|