Skip to main contentAll experts

Giselle Reis

Associate Teaching Professor, Computer Science

Computer Science in Qatar

Orcid identifier0000-0002-5145-9829 (opens in a new tab)⁠
  • Associate Teaching Professor, Computer Science
    Computer Science in Qatar

BIO

Research-wise, I am a computer scientist with a tendency to mathematics who ended up in logic. My research can be placed in proof theory, more specifically, I am interested in structural proof theory, logical frameworks, and formal reasoning. Ultimately, what I really enjoy is organizing reasoning and arguments in sound, elegant, and air-tight formal proofs, which result in insights and strong guarantees about systems.

ACADEMIC POSITIONS

  • Area Head
    Carnegie Mellon University Qatar, Computer Science, Doha, Qatar1 Jul 2023 - present
  • Associate Teaching Professor
    Carnegie Mellon University Qatar, Computer Science, Doha, Qatar1 Aug 2022 - present
  • Associate Area Head
    Carnegie Mellon University Qatar, Computer Science, Doha, Qatar1 Jul 2022 - 30 Jun 2023
  • Assistant Teaching Professor
    Carnegie Mellon University Qatar, Computer Science, Doha, Qatar1 Aug 2016 - 31 Jul 2022

DEGREES

  • PhD, Computer Science
    Technische Universität Wien, Vienna, Austria17 Jul 2014
  • MSc, Computer Science
    Universidade Federal de Minas Gerais, Belo Horizonte, Brazil1 Dec 2010

POSTGRADUATE TRAINING

  • Post-doc
    Inria Saclay - Île-de-France Research Centre, Palaiseau, France
    Postdoctoral Research

CAMPUS

  • Doha

TAGS