我是一名应用科学家亚马逊Prime视频.加入亚马逊之前，我是该系的博士后研究员属于计算机科学与工程（CSE）在查尔默斯 /哥德堡大学。我在编程方法实验室（LAMP）在EPFL公司在教授的监督下马丁·奥德斯基.
在我的研究中，我喜欢探索程序设计语言.我特别感兴趣形式方法、类型系统和理论，以及特定领域语言的语义和实现。
直到最近，我花了我的时间应用形式化方法以及隐私和安全问题的类型理论，思考Scala的类型安全和相关类型系统、和黑客类型稳健性证明和范畴理论在里面阿格达.我对特定于域的语言的设计感兴趣建模概率的和随机的，随机的系统，尤其是生物化学系统.我还写了一个GNU/Emacs模式对于卡帕，建模系统生物学语言。
找到我
-
将按需分析提升到高阶语言.丹尼尔·斯科佩（Daniel Schoepe）、大卫·塞凯茨（David Seekatz）、伊琳娜·斯托尔科夫斯卡（Ilina Stoilkovska）、桑德罗·斯塔基（Sandro Stucki）、丹尼尔·塔特萨尔（Daniele Tattersall）、波琳·博利尼亚诺（Pauline Bolignano）、弗兰科·雷。在第三十届静态分析国际研讨会论文集（SAS 2023）。
-
用可计算信息格调和Shannon和Scott.塞巴斯蒂安·亨特（Sebastian Hunt）、大卫·桑兹（David Sands）和桑德罗·斯塔基（Sandro Stucki）。在美国计算机学会程序设计语言会议录，7（POPL）。
-
数据流图中目的限制的精确分析.哈娜·阿尔沙列夫、卡贾·图马、桑德罗·斯塔基、杰拉尔多·施奈德和里卡多·斯坎达里亚托。在第17届可用性、可靠性和安全性国际会议记录（ARES 2022）。
-
完善隐私感知数据流图.Hanaa Alshareef、Sandro Stucki和Gerardo Schneider。在第19届软件工程与形式化方法国际会议论文集（SEFM 2021）。
-
具有类型间隔的高阶子类型理论.桑德罗·斯塔基（Sandro Stucki）和保罗·贾鲁索（Paolo G.Giarrusso）。在美国计算机学会程序设计语言会议录，5（ICFP）。
-
使用隐私应用程序对超属性进行灰盒监控.桑德罗·斯塔基（Sandro Stucki）、塞萨尔·桑切斯（Cesar Sánchez）、杰拉尔多·施奈德（Gerardo Schneider）和博尔祖·博纳克达尔普尔（Borzoo Bonakdarpour）。在系统设计中的形式化方法, 58(1-2).
-
转换数据流图以实现隐私合规性.哈娜·阿尔沙雷夫（Hanaa Alsharef）、桑德罗·斯塔基（Sandro Stucki）和杰拉尔多·施奈德（Gerardo Schneider）。在第九届模型驱动工程和软件开发国际会议论文集（MODELSWARD 2021）。
-
图的速率方程.Vincent Danos、Tobias Heindel、Ricardo Honorato-Zimmer和Sandro Stucki。在第18届系统生物学计算方法国际会议论文集（CMSB 2020）。
-
超属性的灰盒监控.桑德罗·斯塔基（Sandro Stucki）、塞萨尔·桑切斯（Cesar Sánchez）、杰拉尔多·施奈德（Gerardo Schneider）和博尔祖·博纳克达尔普尔（Borzoo Bonakdarpour）。在第三届形式方法世界大会会议记录（FM’19）。
-
简而言之：隐函数类型的基础和应用.Martin Odersky、Olivier Blanvillain、Fengyun Liu、Aggelos Biboudis、Heather Miller和Sandro Stucki。在美国计算机学会程序设计语言会议录，2（POPL）。
-
具有类型间隔的高阶子类型.桑德罗·斯塔基。博士论文。
-
第七届ACM SIGPLAN Scala研讨会会议记录(飞溅时的SCALA 2016).Aggelos Biboudis、Manohar Jonnalagedda、Sandro Stucki和Vlad Ureche（编辑）。2016年10月30日至31日在荷兰阿姆斯特丹与SPLASH’16会合。
-
依赖对象类型的本质.纳达·阿明（Nada Amin）、塞缪尔·格吕特（Samuel Grütter）、马丁·奥德斯基（Martin Odersky）、蒂亚克·隆普夫（Tiark Rompf）和桑德罗·斯塔基（Sandro Stucki）。在改变世界的成功列表：菲利普·沃德勒60岁生日献词（WadlerFest’16）。
-
可逆规则系统的矩语义.Vincent Danos、Tobias Heindel、Ricardo Honorato-Zimmer和Sandro Stucki。在可逆计算——第七届国际会议（RC’15）。
-
折叠式融合作为一个图书馆：一颗生成性编程明珠.Manohar Jonnalagedda和Sandro Stucki。在第六届ACM SIGPLAN Scala研讨会会议记录（Scala’15）。
-
图变换系统的近似计算.Vincent Danos、Tobias Heindel、Ricardo Honorato-Zimmer和Sandro Stucki。在第二届过程语言元模型国际研讨会（2015年墨西哥）。
-
随机图重写的近似方法.Vincent Danos、Tobias Heindel、Ricardo Honorato-Zimmer和Sandro Stucki。在形式化方法与软件工程——第16届形式化工程方法国际会议（ICFEM’14）。
-
高效数据处理的分段分析器组合器.马诺哈尔·琼纳拉赫达（Manohar Jonnalagedda）、蒂埃里·科佩（Thierry Coppey）、桑德罗·斯塔基（Sandro Stucki）、蒂亚克·隆普夫（Tiark Rompf）和马丁·奥德斯基（Martin Odersky）。在2014年ACM SIGPLAN面向对象编程系统语言与应用国际会议记录（OOPSLA’14）。
-
阴阳：隐藏DSL的深层嵌入.沃金·约万诺维奇（Vojin Jovanovic）、阿米尔·谢赫哈（Amir Shaikhha）、桑德罗·斯塔基（Sandro Stucki）、弗拉基米尔·尼古拉耶夫（Vladimir Nikolaev）、克里斯托夫·科赫（Christoph Koch）和马丁·奥德斯基。在2014年国际生成性编程会议记录：概念和经验（GPCE’14）。
-
可逆Sesqui-Pushout重写.Vincent Danos、Tobias Heindel、Ricardo Honorato-Zimmer和Sandro Stucki。在图形变换——第七届国际会议（ICGT’14）。
-
奇数是多少？Scala中的概率编程.Sandro Stucki、Nada Amin、Manohar Jonnalagedda和Tiark Rompf。在第四届Scala研讨会会议记录（Scala’13）。
-
站点图重写系统速率方程的推导.Vincent Danos、Russ Harmer、Ricardo Honorato-Zimmer和Sandro Stucki。出现在第四届静态分析与系统生物学国际研讨会论文集（SASB’13）。
-
Kappa模型的刚性几何约束.Vincent Danos、Ricardo Honorato-Zimmer、Sebastián Jaramillo-Riveri和Sandro Stucki。在第三届静态分析与系统生物学国际研讨会论文集（SASB’12）。
-
理想支化聚合物的粗粒化动力学.Vincent Danos、Ricardo Honorato-Zimmer、Sebastián Jaramillo-Riveri和Sandro Stucki。在第三届静态分析与系统生物学国际研讨会论文集（SASB’12）。
社区服务
- 组织者和PC联合主席：斯卡拉2016.
- PC成员：西北太平洋2023,GPCE 2023,西北太平洋2022,西北太平洋2021,GPCE 2021.
- ERC成员：2019年ICFP.
- 指导委员会成员：斯卡拉2019,2018年Scala,2017年Scala.
- 期刊审稿人：JLAMP 2021–2022年,JFP 2017-2018年,2018年TCBB.
- 副查看器：SAS 2023,CAV 2023年,VMCAI 2023年,2022年员工持股计划,CSF 2021年,2020年大众,2018年员工持股计划,2019年FM,FoSSaCS 2016,2016年ML,CSL-LICS 2014年,2014年HLPP,2014年ICFP.
活动和会谈
-
房车讲座@ICTAC’202020年11月30日至12月1日，在线（演讲者）。
-
19年FM撤退2019年5月23日至24日，瑞典利塞基尔Strandflickornas Havshotell（协办方）。
-
2019年MBM2019年5月9日至10日，瑞典哥德堡（演讲者）。
-
ICFP’192019年8月19日至21日，德国柏林（ERC成员）。
-
斯卡拉’192019年7月17日，与ECOOP 2019在英国伦敦联合办公（指导委员会成员）。
-
哥德堡科学节2019年4月6日，在瑞典哥德堡林德霍尔曼校区的幻影穹顶（组织者和演讲者）。
-
2018年的斯卡拉2018年9月28日，与2018年ICFP共同位于美国密苏里州圣路易斯（指导委员会成员）。
-
斯卡拉172017年10月22日至23日，与2017年SPLASH在加拿大温哥华联合办公（指导委员会成员）。
-
2016年的斯卡拉2016年10月30日至31日，与SPLASH 2016在荷兰阿姆斯特丹共同举办（组织者）。
