通知日期+链接:
早年:2013年VR,2012年VR,2011年VR,VR2010型,VR2009年,2008年5月
赠款项目(2014年11月4日之前)
部门。 | 大学 | VR-kod公司 | 索坎德 | 弗尔南姆 | 类型 | Projekt滴度 | VR-del(VR-del) | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 总计 |
总工程师 | 查尔默斯 | 2014-4559 | 阿萨森 | 乌尔夫 | Framstáende yngre forskare公司 | Fotorealistisk实时渲染 | NT公司 | 30万千瓦 | 3000公里 | 30万千瓦 | 30万千瓦 | 30万千瓦 | 30万千瓦 | 18000千公里 |
装货单 | 查尔默斯 | 2014-6222 | 沙子 | 大卫 | 兰比德拉格 | AppFlow:使信息流控制发挥作用 | NT公司 | | 30万千瓦 | 30万千瓦 | 30万千瓦 | 3000公里 | | 120万kr |
总工程师 | 查尔默斯 | 2014-6221 | 斯坦斯特罗姆 | 每 | 兰比德拉格 | ACE:近似算法和计算系统 | NT公司 | | 2250千公里 | 2250千公里 | 2250千公里 | 2250千公里 | | 9000千公里 |
装货单 | 查尔默斯 | 2014-4833 | 萨贝尔菲尔德 | 安德烈 | 项目 | DecentLP:强大的分散位置隐私 | NT公司 | | 96万千瓦 | 96万千瓦 | 96万千瓦 | 96万千瓦 | | 3840千卡 |
装货单 | 查尔默斯 | 2014-4849 | 约翰逊 | 莫阿 | 项目bidrag-Unga forskare | 自动定理证明的学习与探索 | NT公司 | | 91万卢比 | 91万卢比 | 910公里 | 91万卢比 | | 36.4万kr |
NS公司 | 查尔默斯 | 2014-4829 | 朗西德尔 | 奥拉夫 | 项目bidrag-Unga forskare | ChaosNet:低功率无线网络的分布式计算 | NT公司 | | 91万卢比 | 91万卢比 | 91万卢比 | 91万卢比 | | 36.4万kr |
NS公司 | 查尔默斯 | 2014年4845年 | 米特罗科萨 | 艾卡捷琳尼 | 项目bidrag-Unga forskare | PRECIS:可穿戴计算设备中的隐私和安全 | NT公司 | | 91万卢比 | 91万卢比 | 91万卢比 | 91万卢比 | | 36.4万kr |
反恐精英 | GU公司 | 2014-4864 | 阿贝尔 | 安德烈亚斯 | Projektbidrag项目 | 依赖型程序的终止证书和通过精化类型的证明 | NT公司 | | 900公里 | 90万公里 | 90万公里 | 90万公里 | | 3600千卡 |
反恐精英 | GU公司 | 2014-4788 | 永洛夫 | 彼得 | Projektbidrag项目 | MUSTE:多模态语义文本编辑 | NT公司 | | 90万公里 | 90万公里 | 90万公里 | 90万公里 | | 3.6万千瓦 |
2014年4月9日提交的申请(子集)
部门。 | 大学 | 索坎德 | 弗尔南姆 | 类型 | Projekt滴度 | 2015 | 2016 | 2017 | 2018 | 2019 | 注释 |
ST/CS+(斯文斯卡@GU) | GU公司 | Schneider,Sands/Dubhashi+L.Borin,R.Johansson | 杰拉尔多 | 框架 | 隐私保护合同协议的基础、算法与分析 | X(X) | X(X) | X(X) | X(X) | | 预处理。标题 |
东南方 | 查尔默斯 | 克伦科维奇、博世、Chaudron、Peliccione、Tichy | 伊维卡 | 框架 | CONCISE:受控连续软件工程 | X(X) | X(X) | X(X) | X(X) | |
装货单 | 查尔默斯 | Sands、Andrei、Russo等。 | | 框架 | AppFlow:实现信息流安全 | | | | | |
反恐精英 | GU公司 | 阿贝尔 | 安德烈亚斯 | PRG公司 | 依赖型程序的终止证书和通过精化类型的证明 | | | | | |
装货单 | GU公司 | 施耐德 | 杰拉尔多 | PRG公司 | 服务条款的形式分析和监控 | | | | | | 预处理。标题 |
装货单 | 查尔默斯 | 杨松 | 帕特里克 | PRG公司 | 你可以信任的图书馆:通过依赖类型实现高级规范和正确实现 | 1059 | 1072 | 1121 | 1142 | 1229 | 与JPB和CeIo合作 |
装货单 | 查尔默斯 | 萨贝尔菲尔德 | 安德烈 | PRG公司 | DecentLP:强大的分散位置隐私 | 1107 | 1121 | 1173 | 1197 | 1288 | 20%AnSa,5%KaMi,80%博士生 |
NS公司 | 查尔默斯 | 米特罗科萨 | 艾卡捷琳尼 | 初级 | PRECIS:可穿戴计算设备中的隐私和安全 | | | | | |
装货单 | 查尔默斯 | 贝尔纳迪 | 珍妮·菲利佩 | 初级 | 平行阵列的线性类型 | | | | | | 20%JPB,10%Josef,80%博士生 |
装货单 | 查尔默斯 | 斯韦宁松 | 约瑟夫 | 初级 | DEAR:推导有效的数组表示 | 1111 | 1125 | 1176 | 1200 | 1289 | 20%约瑟夫,10%JPB,80%博士生 |
装货单 | 查尔默斯 | 王 | 孟 | 初级 | 免费的源代码级工具支持 | | | | | |
装货单 | 查尔默斯 | 布罗贝格 | 尼克拉斯 | 初级 | | | | | | |
装货单 | 查尔默斯 | 约翰逊 | 莫阿 | 初级 | 自动定理证明的学习与探索 | 736 | 967 | 1000 | 1031 | 258 | 80%莫阿 |
装货单 | 查尔默斯 | 克莱森 | 科恩 | 距离 | | | | | |
装货单 | 查尔默斯 | 科瓦茨 | 劳拉 | 距离 | AutoPATS:利用定理证明和符号计算进行自动程序分析 | | | | |
类型:
- 框架=信息和通信技术战略研究框架拨款
- PRG=项目研究拨款
- 初级=初级研究员项目研究补助金(2007年至2011年博士)
- 距离=杰出青年研究人员资助(2002年至2007年获得博士学位。所有科学领域总计最多19项拨款。)
资源: