Simone Severini
| ← Previous revision | Revision as of 04:08, 26 April 2026 | ||
| Line 43: | Line 43: | ||
| footnotes = |
| footnotes = |
||
}} |
}} |
||
'''Simone Severini''' is an Italian-born British computer scientist. He is currently Distinguished Engineer at [[Google]], and Professor of Physics of Information at [[University College London]]. In 2018 he founded the [[Quantum Computing]] program at [[Amazon Web Services]] and served as its |
'''Simone Severini''' is an Italian-born British computer scientist. He is currently Distinguished Engineer at [[Google]], and Professor of Physics of Information at [[University College London]]. In 2018 he founded the [[Quantum Computing]] program at [[Amazon Web Services]] and served as its General Manager. In 2015 he was the technical co-founder and one of the first scientific advisors of [[Cambridge Quantum Computing]], with [[Béla Bollobás]], [[Imre Leader]], and [[Fernando Brandão]]. He co-founded [[Phasecraft]],https://www.phasecraft.io/ with Toby Cubitt, Ashley Montanaro, and John Morton. |
||
His academic research applied graph and network theory to quantum physics. With Adan Cabello and [[Andreas Winter]], he developed a framework for [[quantum contextuality]], and with Tomasz Konopka, [[Fotini Markopoulou]], and [[Lee Smolin]], he introduced [[Quantum Graphity|quantum graphity]],[[Roberto Mangabeira Unger]], [[Lee Smolin]], [[The Singular Universe and the Reality of Time: A Proposal in Natural Philosophy]], Cambridge University Press (2014).Shyam Wuppuluri and [[Giancarlo Ghirardi]] (Eds.), Space, Time and the Limits of Human Understanding (Foreword by [[John Stachel]] and Afterword by [[Noam Chomsky]]), Springer (2017). a [[random graph]] model of spacetime. He also co-introduced the [[Braunstein–Ghosh–Severini entropy]].{{cite journal | last1=Braunstein | first1=Samuel L. |author-link=Samuel L. Braunstein| last2=Ghosh | first2=Sibasish | last3=Severini | first3=Simone | title=The Laplacian of a Graph as a Density Matrix: A Basic Combinatorial Approach to Separability of Mixed States | journal=[[Annals of Combinatorics]] | publisher=Springer Science and Business Media LLC | volume=10 | issue=3 | year=2006 | issn=0218-0006 | doi=10.1007/s00026-006-0289-3 | pages=291–317|arxiv=quant-ph/0406165| s2cid=14522309 }} Severini serves on the Strategic Advisory Board of the Lean Focused Research Organization (FRO), a non-profit organization supporting the development of the [[Lean (proof assistant)|Lean]] proof assistant and its ecosystem.{{cite web |title=Team |website=Lean FRO |url=https://lean-lang.org/fro/team/ |access-date=20 December 2025}} |
His academic research applied graph and network theory to quantum physics. With Adan Cabello and [[Andreas Winter]], he developed a framework for [[quantum contextuality]], and with Tomasz Konopka, [[Fotini Markopoulou]], and [[Lee Smolin]], he introduced [[Quantum Graphity|quantum graphity]],[[Roberto Mangabeira Unger]], [[Lee Smolin]], [[The Singular Universe and the Reality of Time: A Proposal in Natural Philosophy]], Cambridge University Press (2014).Shyam Wuppuluri and [[Giancarlo Ghirardi]] (Eds.), Space, Time and the Limits of Human Understanding (Foreword by [[John Stachel]] and Afterword by [[Noam Chomsky]]), Springer (2017). a [[random graph]] model of spacetime. He also co-introduced the [[Braunstein–Ghosh–Severini entropy]].{{cite journal | last1=Braunstein | first1=Samuel L. |author-link=Samuel L. Braunstein| last2=Ghosh | first2=Sibasish | last3=Severini | first3=Simone | title=The Laplacian of a Graph as a Density Matrix: A Basic Combinatorial Approach to Separability of Mixed States | journal=[[Annals of Combinatorics]] | publisher=Springer Science and Business Media LLC | volume=10 | issue=3 | year=2006 | issn=0218-0006 | doi=10.1007/s00026-006-0289-3 | pages=291–317|arxiv=quant-ph/0406165| s2cid=14522309 }} Severini serves on the Strategic Advisory Board of the Lean Focused Research Organization (FRO), a non-profit organization supporting the development of the [[Lean (proof assistant)|Lean]] proof assistant and its ecosystem.{{cite web |title=Team |website=Lean FRO |url=https://lean-lang.org/fro/team/ |access-date=20 December 2025}} |
||
