斯泰西·杰弗里

高级研究员
CWI和QuSoft公司
电子邮件：smjeffery at gmail
QuSoft的两个教员职位！

生物

自2017年1月以来，我一直是CWI的高级研究员，我是其中的一员QuSoft公司，自2023年10月以来，我在Korteweg-de Vries数学研究所在阿姆斯特丹大学可以找到我的就职演讲在这里（文本）和在这里（视频）。我的研究主要是量子算法和量子计算模型。

之前，我是IQIM的博士后研究员量子信息与物质研究所（IQIM）在加州理工学院。我从滑铁卢大学2014年，我加入了量子计算研究所（IQC），监督人米歇尔·莫斯卡，非正式联合顾问弗雷德里克·马格尼兹（Frédéric Magniez）.


出版物和预印本

  1. 多维量子行走、递归和量子分治
    S.Jeffery和G.Pass(2024).arXiv公司：2401.08355
  2. 控制量子时间复杂性
    A.Belovs、S.Jeffery和D.Yolcu(2023).arXiv:2311.15873号
  3. 路径边缘采样的量子算法
    S.Jeffery、S.Kimmel和A.Piedrafita(2023).arXiv:2303.03319
    • 18年会议记录第个量子计算、通信和密码学理论会议（TQC 2023）。第5:1–5:28页。
  4. （否）USTCON的量子时空权衡
    S.Apers、S.Jeffery、G.Pass和M.Walter(2022).arXiv:2212.0094
    • 31年会议记录标准欧洲算法年度研讨会（ESA 2023）。第10:1–10:17页。
  5. 量子子程序合成
    S.杰弗里(2022).arXiv公司：2209.14146
    • 在第26届第个量子信息处理年度会议（QIP 2023）。
  6. 多维量子游动及其在k-区分中的应用
    S.Jeffery和S.Zur(2022).arXiv:2208.13492
    • 55年会议记录第个ACM计算理论年度研讨会（STOC 2023）。第1125-1130页。
    • 在26第个量子信息处理年度会议（QIP 2023）。
  7. 无需假设即可确保软件租赁安全
    A.Broadbent、S.Jeffery、S.Lord、S.Podder和A.Sundaram(2021).arXiv:2101.12739
    • 第19届会议记录第个国际密码学理论会议（TCC 2021）。第90-120页。
    • 在24小时第个量子信息处理年度会议（QIP 2021）。
    • 在21世纪大会上作为特邀演讲标准亚洲量子信息科学会议（AQIS 2021）。
  8. 跨度程序和量子时间复杂性
    A.Cornelissen、S.Jeffery、M.Ozols和A.Piedrafita(2020).arXiv:2005.01323号
    • 第45届会议记录第个计算机科学数学基础国际研讨会（MFCS 2020）。第26:1–26:14页。
  9. 量子行走搜索的统一框架
    S.Apers、A.Gilyén和S.Jeffery(2019).arXiv:1912.04233号
    • 38年会议记录第个计算机科学理论专题讨论会（STACS 2020）。第6:1–6:13页。
  10. 具有不诚实多数的安全多方量子计算
    Y.Dulek、A.B.Grilo、S.Jeffery、C.Majenz和C.Schaffner(2019).arXiv:1909.13770
    • 密码学进展：第39届会议录第个密码技术理论和应用年度国际会议（Eurocrypt 2020）。第729-758页。
    • 在10第个国际量子密码会议（QCrypt 2020）。
  11. Span程序与量子空间复杂性
    S.杰弗里(2019).arXiv:1908.04232
    • 11年会议记录第个理论计算机科学会议创新（ITCS 2020）。第4:1–4:37页。
    • 计算理论18（11），第1-49页（2022年）。
  12. 量子行走寻找标记顶点的二次加速
    A.Ambainis、A.Gilyén、S.Jeffery和M.Kokainis(2019).arXiv:1903.07493
    • 52的议事程序第ACM SIGACT计算机理论年度研讨会（STOC 2020）。第412-424页。
    • 在23第个量子信息处理年度会议（QIP 2020）。
  13. 量子完全同态加密的实验证明及其在双方安全协议中的应用
    W.K.Tham、H.Ferretti、K.Bonsma Fisher、A.Brodutch、B.C.Sanders、A.M.Steinberg和S.Jeffery(2018).arXiv:1811.02149
    • 物理复习X10, 011038 (2020).
  14. 非自适应量子选择密文攻击与错误学习
    G.Alagic、S.Jeffery、M.Ozols和A.Poremba(2018).arXiv:1808.09655
    • 第14次会议记录第个量子计算、通信和密码学理论会议（TQC 2019）。第1:1-1:23页。
    • 在第8场第个国际量子密码会议（QCrypt 2018）。
  15. 块编码矩阵幂的幂：通过更快的哈密顿模拟改进回归技术
    S.Chakraborty、A.Gilyén和S.Jeffery(2018).arXiv:1804.01973年
    • 第46届会议记录第个自动化、语言和编程国际学术讨论会（ICALP 2019）。第33:1–33:14页。
  16. 连通性及其相关问题的量子算法
    M.Jarret、S.Jeffery、S.Kimmel和A.Piedrafita(2018).arXiv公司：1804.10591
    • 第二十六届会议的议事程序第个欧洲算法年度研讨会（ESA 2018）。第49:1–49:13页。
  17. 对基于AJPS Mersenne的密码系统的攻击
    K.de Boer、L.Ducas、S.Jeffery和R.de Wolf(2017).eprint 2017/1171
    • 第九届会议记录第个国际后量子密码会议（PQCrypto 2018）。第101-120页。
  18. 在线验证：具有拟线性资源的可验证委托量子计算的新方案
    A.Coladangelo、A.B.Grilo、S.Jeffery和T.Vidick(2017).arXiv:1708.07359
    • 密码学进展：第38届会议录第个加密技术理论与应用国际年会（Eurocrypt 2019）。第247-277页。.
    • 在21标准量子信息处理会议（QIP 2018）。
    • 在第八届大会上作为受邀演讲第个国际量子密码会议（QCrypt 2018）。
  19. 图连通性的量子算法与公式评估
    S.杰弗里和S.Kimmel公司(2017).arXiv:1704.00765（子类arXiv:1511.02235)
    • 量子1, 26 (2017).
    • 出席11第个量子计算、通信和密码理论会议（TQC 2016）。
  20. 分布式集合的量子通信复杂性连接
    S.杰弗里和F.Le Gall（2016）。arXiv:1608.06617
    • 41年会议记录标准计算机科学数学基础国际研讨会（MFCS 2016）。
    • 出席11第个量子计算、通信和密码理论会议（TQC 2016）。
  21. 近似跨度程序
    T.伊藤和S.杰弗里(2015).arXiv公司：1507.00432
    • 43年会议记录第个自动化、语言和编程国际学术讨论会（ICALP 2016）。
    • 算法81（6），第2158–2195页（2019年）。
  22. 低电平电路的量子同态加密T型-门复杂性
    A.Broadbent公司和S.杰弗里(2014).arXiv:1412.8766
    • 密码学进展：第35届会议录第个年度密码会议（CRYPTO 2015）。第609-629页。
    • 在5第个国际量子密码会议（QCrypt 2015）。
    • 发表于19第个量子信息处理会议（QIP 2016）。
  23. 最优并行量子查询算法
    S.杰弗里,F.马格尼兹和R.de Wolf（2013）。 arXiv:1309.6116
    • 第22届会议记录第欧洲算法研讨会（ESA 2014）。第592-604页。
    • 算法79（2），第409-529页（2017年）。
  24. 使用嵌套更新实现3区分的时间效率量子行走
    A.M.Childs、S.Jeffery、，R.科塔里和F.马格尼兹(2013).arXiv:1302.7316
    • 与合并arXiv:1302.3143：A.Belovs、A.M.Childs、S.Jeffery、，R.科塔里和F.马格尼兹(2013).实现3区分的省时量子漫步。40年会议记录第个自动化、语言和编程国际学术讨论会（ICALP 2013）。第105-122页。
    • 在17第个量子信息处理会议（QIP 2014）。
  25. 子集和问题的量子算法
    D.J.Bernstein、S.Jeffery、T.Lange和A.Meurer。(2013).电子打印
    • 第五届会议记录第个国际后量子密码会议（PQCrypto 2013）。第16-33页。
  26. 使用辫子的部分不可分辨模糊
    G.Alagic、S.Jeffery和S.Jordan（2012年）。arXiv:1212.6458
    • 第九届会议记录第个量子计算、通信和密码学理论会议（TQC 2014）。第141-160页。
  27. 具有量子数据结构的嵌套量子游动
    S.Jeffery，R.科塔里和F.马格尼兹(2012).arXiv公司：1210.1199
    • 24国会议记录第个ACM-SIAM离散算法研讨会（SODA 2013）。第1474-1485页。
  28. 利用图碰撞提高布尔矩阵乘法的量子查询复杂度
  29. 在某些多方计算中，超越诚实多数的正确性和隐私性交易稳健性
    A.Broadbent、S.Jeffery、S.Ranellucci和A.Tapp（2012年）。
    • 第六届会议记录第个国际信息理论安全会议（2012年国际信息技术会议）。第14-36页。
  30. 精确、高效、信息安全的任意数量作弊者投票
    A.Broadbent、S.Jeffery和A.Tapp（2010年）。arXiv:1011.5242[cs.CR]
  31. HASS：异构多核系统的调度程序
    D.Shelepov、J.Saez、S.Jeffery、A.Fedorova、N.Perez、Z.Huang、S.Blagodurov和V.Kumar（2009年）。
    • 操作系统评论（关于操作系统、编译器和多核处理器之间交互的专题）。43(2):66 – 75.

博士论文

硕士论文

其他