米里亚姆·巴肯斯照片

Miriam Backens博士

讲师

研究兴趣

我是“计算理论”组.我的研究兴趣是量子计算和量子信息理论，以及算法和计算复杂性。在量子计算中，我的主要关注点是量子计算的不同表示的性质和应用，特别是图形形式，如ZX-微积分在算法和计算复杂性方面，我对霍兰特和计数CSP框架中计数问题的复杂性特别感兴趣（这与量子计算的经典模拟的某些概念密切相关）。

我是开放存取的编辑量子杂志.

我还对计算机科学教学中的平等和多样性问题感兴趣。

博士生

  • 汤米·麦克尔凡尼（2020年-）
  • 彼得亚·米托塞克（Piotr Mitosek）（2021-）
  • 乔治·凯（2020年-）

活动预告

  • 招聘我的教育研究项目“共同创建‘计算机科学教学中的EDI’工具包”的参与者。

教学

出版物

  1. 汤米·麦克尔凡尼（Tommy McElvanney）和米丽亚姆·巴肯斯（Miriam Backens）（2023年），流保持ZX演算重写规则以进行优化和模糊处理.arXiv:2304.08166.
  2. 汤米·麦克尔凡尼（Tommy McElvanney）和米丽亚姆·巴肯斯（Miriam Backens）（2022），使用泡利测量完成MBQC模式的流保护重写规则，将出现在QPL 2022中。arXiv:2205.02009年.
  3. 米里亚姆·巴肯斯（2021），霍兰特的完全二分法c（c）受到量子计算的启发《SIAM计算机杂志》50（6），第1739-1799页。arXiv公司：2201.03375.
  4. 米里亚姆·巴肯斯（Miriam Backens）、亚历克斯·基辛格（Aleks Kissinger）、赫克托·米勒·贝克维尔（Hector Miller-Bakewell）、约翰·范德韦特林（John van de Wetering）和萨尔·沃尔夫斯（Sal Wolffs，ZH-演算的完整性，出现在构图中。arXiv公司：2103.06610.
  5. 米丽亚姆·巴肯斯（Miriam Backens）、赫克托尔·米勒·贝克威尔（Hector Miller-Bakewell）、乔瓦尼·德费利斯（Giovanni de Felice）、利奥·洛夫斯基（Leo Lobski）和约翰·范德韦特林（John van de Wetering）（2021年），那里又回来了：一个电路抽取装置《量子5》，第421页。arXiv:2003.01664年.
  6. 米丽亚姆·巴肯斯（Miriam Backens）和莱斯利·安·戈德伯格（Leslie Ann Goldberg）（2020年），Holant克隆与保守Holant问题的逼近性《ACM算法汇刊》16（2），第23:1-23:55页。arXiv:1811.00817.
  7. 米丽亚姆·巴肯斯（Miriam Backens）和亚历克斯·基辛格（Aleks Kissinger）（2018），ZH：涉及经典非线性的量子计算的完整图形演算.英寸第十五届量子物理与逻辑研讨会论文集（2018年QPL），EPTCS系统2019年第287期，第23-42页。arXiv:1805.02175.
  8. 米丽亚姆·巴肯斯（Miriam Backens）、安德烈·布拉托夫（Andrei Bulatov）、莱斯利·安·戈德伯格（Leslie Ann Goldberg）、科林·麦克奎兰（Colin McQuillan）和斯坦尼斯拉夫·伊文（Stanislavivn \5842，弱保守性的布尔近似计数CSP及其对铁磁双自旋的启示《计算机与系统科学杂志》109，第95-125页。arXiv:1804.04993.
  9. Miriam Backens、Simon Perdrix和Qualong Wang（2020年），关于最小稳定器ZX演算《计算机科学中的逻辑方法》16（4），第19:1-19:30页。arXiv公司：1709.08903.
  10. Miriam Backens（2018），复值Holant的完全二分法c（c）.英寸第45届国际自动化、语言和编程学术讨论会会议记录（ICALP 2018），LIPIcs公司107，第12:1-12:14页。arXiv:1704.05798.
  11. 米里亚姆·巴肯斯（2017），量子计算启发下的新霍兰特二分法.英寸第44届自动化、语言和程序设计国际学术讨论会论文集（ICALP 2017），LIPIcs公司80，第16:1-6:14页。arXiv公司：1702.00767.
  12. 米里亚姆·巴肯斯（2017），诱导纠缠分类下四量子比特纠缠态的超类个数《物理评论》A 95，第022329页。arXiv:1611.02076.
  13. Miriam Backens、Simon Perdrix和Quanlong Wang（2016），一种简化的稳定器ZX演算.英寸第十三届量子物理与逻辑研讨会论文集（2016年QPL），EPTCS系统236，第1-20页。arXiv公司：1602.04744.
  14. 米里亚姆·巴肯斯（2015），完成标量的稳定器ZX演算.英寸第十二届量子物理与逻辑研讨会论文集（2015年QPL），EPTCS系统195，第17-32页。arXiv:1507.03854.
  15. 米里亚姆·巴肯斯（2015），对于单量子比特Clifford+T群，ZX演算是完全的.英寸第十一届量子物理与逻辑研讨会论文集（QPL 2014），EPTCS系统172，第293-303页。arXiv公司：1412.8553.
  16. 米里亚姆·巴肯斯和阿里·纳比·杜曼（2015），Spekkens玩具比特理论的一个完整的图形演算《物理基础》46（1），第70-103页。arXiv:1411.1618.
  17. 米里亚姆·巴肯斯（2014），ZX演算对于稳定器量子力学来说是完整的《新物理杂志》16（9），第093021页。arXiv:1307.7025.

会谈

  1. 2023年3月：“共同创建‘计算机科学教学中的EDI’工具箱”，在SIGCSE 2023技术研讨会
  2. 2022年11月：“Holant克隆和Holant问题的近似”。Dagstuhl研讨会22482，计数和采样：算法和复杂性
  3. 2022年3月：“使用图形ZX演算优化量子计算”。国家信息数学杂志法国里尔大学（应邀）。
  4. 2022年1月：“量子计算和计算计数的经典复杂性”。CQIF研讨会剑桥大学（受邀）。
  5. 2021年5月：《计算复杂性与量子信息论》。组合数学研讨会伯明翰大学（应邀）。
  6. 2020年11月：“此起彼伏：电路抽取故事”。Q-Turn：量子科学中不断变化的范式.
  7. 2020年10月：“通过量子计算计算问题的经典复杂性”。伦敦霍珀学术讨论会（受邀）。
  8. 2020年4月：“计算复杂性和量子信息理论”。沃里克大学DIMAP研讨会（应邀）。
  9. 2019年11月：“使用ZX演算的分类量子计算”范畴理论研究生会议及其应用，莱斯特（受邀）。
  10. 2019年9月：“使用ZX演算优化量子计算”。量子计算与人工智能研讨会：技术、技术与伦理，伯明翰（应邀）。
  11. 2019年9月：“霍兰德问题与量子信息论”。理论计算机科学研讨会，上海财经大学，中国上海（受邀）。
  12. 2019年5月：“利用ZX演算的完备性对计算计数问题的复杂性进行分类”。牛津大学量子小组研讨会。
  13. 2018年11月：“量子计算与霍兰特问题”。Q转向：量子科学范式的变化巴西弗洛里安诺波利斯（应邀）。
  14. 2018年11月，“分类计数问题的计算复杂性”。研讨会数学、统计和应用数学学院爱尔兰戈尔韦国立大学（受邀）。
  15. 2018年10月，“量子计算与霍兰特问题”。计算机科学和数学领域的量子创新者加拿大滑铁卢大学量子计算研究所（应邀）。
  16. 2018年10月，“完成ZX演算”。理论计算机科学研讨会，计算机科学学院伯明翰大学（应邀）。
  17. 2018年7月，“Holant问题与量子信息论”。玛丽女王算法日伦敦玛丽女王大学（应邀）。
  18. 2018年7月，“复杂值Holant的完全二分法c（c）",第45届国际自动化、语言和编程学术讨论会（ICALP 2018）捷克共和国布拉格。
  19. 2018年5月，“ZX微积分的未来”。牛津大学信息结构高级研讨会牛津大学计算机科学系（应邀）。
  20. 2018年5月，“ZH-calculus”。牛津大学庆祝ZX-演算十周年研讨会。
  21. 2018年1月，“量子计算与霍兰特问题”。第21届量子信息处理年会（QIP 2018）荷兰代尔夫特理工大学。
  22. 2017年10月，“霍兰德问题与量子信息论”。算法与复杂性理论研讨会牛津大学计算机科学系（应邀）。
  23. 2017年8月，“霍兰德问题与量子信息论”。Dagstuhl研讨会17341“计算计数”德国达格斯图尔Leibniz-Zentrum für Informatik Dagstuhl Schloss（受邀）。
  24. 2017年7月，“ZX-演算与完备性”。在第14届量子物理与逻辑研讨会（QPL 2017）和国际量子结构协会（IQSA）组织的量子结构研讨会荷兰奈梅亨（受邀）。
  25. 2017年7月，“受量子计算启发的一种新的holant二分法”。第44届国际自动化、语言和编程学术讨论会（ICALP 2017）波兰华沙大学。
  26. 2017年6月，“受量子计算启发的新霍兰特二分法”。第十二届量子计算、通信和密码理论会议（TQC 2017）法国巴黎皮埃尔和玛丽·居里大学。
  27. 2017年5月，“受量子计算启发的新霍兰特二分法”。第十四届中欧量子信息处理研讨会（CEQIP 2017）斯洛伐克Smolence。
  28. 2017年4月，“霍兰德问题与量子计算的经典模拟”。量子信息理论小组研讨会布里斯托尔大学（受邀）。
  29. 2016年11月，“霍兰德问题和量子计算的经典模拟”。牛津信息结构高级研讨会牛津大学计算机科学系（应邀）。
  30. 2016年6月，“简化稳定器ZX演算”。第十三届量子物理与逻辑研讨会（QPL 2016）格拉斯哥斯特拉斯克莱德大学。
  31. 2015年10月，“图形量子过程语言的完整性结果”。量子信息与基础中心研讨会，剑桥大学应用数学和理论物理系（受邀）。
  32. 2015年7月，“完成标量的稳定器ZX-演算”。第十二届量子物理与逻辑研讨会（QPL 2015）牛津大学。
  33. 2014年12月，“图形量子过程语言的完整性结果”。周界研究所量子讨论加拿大安大略省滑铁卢周边研究所（应邀）。
  34. 2014年10月，“ZX演算的（In）完整性结果”。类别量子力学十周年庆祝研讨会牛津大学。
  35. 2014年6月，“量子计算ZX演算的完整性结果”。计算机系学生会议牛津大学（最佳演讲奖联合获得者）。
  36. 2014年6月，“ZX-演算对于单个量子比特来说几乎是完整的”。第十一届量子物理与逻辑研讨会（QPL 2014），京都大学，日本京都。
  37. 2013年4月，“ZX微积分已完成稳定器量子力学”。量子场、引力和信息研究生会议，诺丁汉大学。
  38. 2013年3月，“ZX微积分已完成稳定器量子力学”。第二次量子基础研讨会巴巴多斯霍尔顿麦吉尔大学贝拉研究中心（应邀）。
  39. 2012年10月，“ZX演算完成了稳定器量子力学”。比利时布鲁塞尔自由大学第九届量子物理与逻辑研讨会（QPL 2012）。

外联

  • 2018年2月：与牛津大学推测小说小组讨论“科学与小说中的量子计算”。
  • 2017年5月：西尔维娅·里马特（Sylvia Rimat）的两个活动“现在的这一刻”（This Moment Now）的科学特邀演讲人，这是一个关于时间感知的互动艺术项目和研讨会。
  • 2017年1月至4月：“通过绩效参与科学技术研究（PERFORM）”参与者/受训者。

其他