Skip to Main content
Number of documents

16

CV - Alex Bredariol Grilo

 

Bio

Since October 2020, I have been a CNRS researcher at LIP6 (CNRS/Sorbonne Université). Previously, I was a post-doc at CWI and QuSoft, a research fellow at the Simons Institute (UC Berkeley) and a PhD student at Université Paris Diderot, where I was affiliated to IRIF. I got my Master's and Bachelor's degree from University of Campinas.

Contact

Alex (dot) Bredariol-Grilo (at) lip6 (dot) fr

Research interests

  • Quantum computing
  • Interactive proof systems and PCPs
  • Complexity theory
  • Cryptography

Employment

  • CNRS researcher - LIP6 (Sorbonne Université/CNRS) 
    From 10/2020 to present
  • Research Fellow - Simons Institute, UC Berkeley 
    From 01/2020 to 05/2020
  • Lecturer (ATER) - Université Paris Diderot
    From 09/2017 to 04/2018

Education

  • PhD in Computer Science - Université Paris Diderot, France 
    From 09/2014 to 04/2018 
    Title: Quantum proofs, the Local Hamiltonian problem and applications 
    Advisor: Iordanis Kerenidis
  • MSc. in Computer Science - University of Campinas (Unicamp), Brazil 
    From 03/2012 to 04/2014 
    Title: Quantum Computing and Theoretical Computer Science 
    Advisor: Prof. Arnaldo Vieira Moura
  • BSc. in Computer Science - University of Campinas (Unicamp), Brazil
    From 03/2007 to 07/2011

Journal articles1 document

Conference papers8 documents

  • Yfke Dulek, Alex Grilo, Stacey Jeffery, Christian Majenz, Christian Schaffner. Secure Multi-party Quantum Computation with a Dishonest Majority. Advances in Cryptology - EUROCRYPT 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2020, Zagreb, Croatia. pp.729-758, ⟨10.1007/978-3-030-45727-3_25⟩. ⟨hal-02968389⟩
  • Gorjan Alagic, Andrew M. Childs, Alex Grilo, Shih-Han Hung. Non-interactive classical verification of quantum computation. Theory of Cryptography - 18th International Conference, TCC 2020, Nov 2020, Durham, United States. pp.153--180, ⟨10.1007/978-3-030-64381-2_6⟩. ⟨hal-03043284⟩
  • Alex Bredariol Grilo. A Simple Protocol for Verifiable Delegation of Quantum Computation in One Round. 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, Jul 2019, Patras, Greece. pp.28:1--28:13, ⟨10.4230/LIPIcs.ICALP.2019.28⟩. ⟨hal-03033187⟩
  • Alex Grilo, William Slofstra, Henry Yuen. Perfect Zero Knowledge for Quantum Multiprover Interactive Proofs. 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), Nov 2019, Baltimore, United States. pp.611-635, ⟨10.1109/FOCS.2019.00044⟩. ⟨hal-03032834⟩
  • Dorit Aharonov, Alex Bredariol Grilo. Stoquastic PCP vs. Randomness. 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), Nov 2019, Baltimore, United States. pp.1000-1023, ⟨10.1109/FOCS.2019.00065⟩. ⟨hal-03032845⟩
  • Andrea Coladangelo, Alex Grilo, Stacey Jeffery, Thomas Vidick. Verifier-on-a-Leash: New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear Resources. Advances in Cryptology - EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2019, Darmstadt, Germany. pp.247-277, ⟨10.1007/978-3-030-17659-4_9⟩. ⟨hal-03033171⟩
  • Alex Bredariol Grilo, Iordanis Kerenidis, Attila Pereszlényi. Pointer Quantum PCPs and Multi-Prover Games. 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, Aug 2016, Kraków, Poland. pp.21:1--21:14, ⟨10.4230/LIPIcs.MFCS.2016.21⟩. ⟨hal-03043224⟩
  • Alex Bredariol Grilo, Iordanis Kerenidis, Jamie Sikora. QMA with Subset State Witnesses. Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Aug 2015, Milan, Italy. pp.163-174, ⟨10.1007/978-3-662-48054-0_14⟩. ⟨hal-03032854⟩

Preprints, Working Papers, ...6 documents

  • Dorit Aharonov, Alex Bredariol Grilo, Yupan Liu. StoqMA vs. MA: the power of error reduction. 2020. ⟨hal-02968357⟩
  • Alex Bredariol Grilo, Kathrin Hövelmanns, Andreas Hülsing, Christian Majenz. Tight adaptive reprogramming in the QROM. 2020. ⟨hal-02997744⟩
  • Srinivasan Arunachalam, Alex Grilo, Tom Gur, Igor C. Oliveira, Aarthi Sundaram. Quantum learning algorithms imply circuit lower bounds. 2020. ⟨hal-03040161⟩
  • Srinivasan Arunachalam, Alex Grilo, Henry Yuen. Quantum statistical query learning. 2020. ⟨hal-03043275⟩
  • Alex Bredariol Grilo, Huijia Lin, Fang Song, Vinod Vaikuntanathan. Oblivious Transfer is in MiniQCrypt. 2020. ⟨hal-03033900⟩
  • Srinivasan Arunachalam, Alex Grilo, Aarthi Sundaram. Quantum hardness of learning shallow classical circuits. 2019. ⟨hal-03043254⟩

Theses1 document