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

TEACHING INTERESTS

Teaching courses on functional programming, logic, design of programming languages, and introduction to programming.

TEACHING ACTIVITIES

  • COURSE TAUGHT
    Constructive Logic
    23 Aug 2026 - 13 Dec 2026
    15317
  • COURSE TAUGHT
    Principles of Functional Programming
    23 Aug 2026 - 13 Dec 2026
    15150
  • COURSE TAUGHT
    SCS Honors Undergraduate Research Thesis
    6 Jan 2026 - 3 May 2026
    07599
  • COURSE TAUGHT
    Foundations of Programming Languages
    24 Aug 2025 - 14 Dec 2025
    15312
  • COURSE TAUGHT
    Independent Study in Computer Science
    24 Aug 2025 - 14 Dec 2025
    15591
  • COURSE TAUGHT
    Principles of Computing
    24 Aug 2025 - 14 Dec 2025
    15110
  • COURSE TAUGHT
    Principles of Functional Programming
    24 Aug 2025 - 14 Dec 2025
    15150
  • COURSE TAUGHT
    SCS Honors Undergraduate Research Thesis
    24 Aug 2025 - 14 Dec 2025
    07599
  • ADVISORSHIP
    [Independent Study] Proving Theorems Using Lean
    13 May 2025 - 26 Jun 2025
  • ADVISORSHIP
    [QSIURP] Evaluating Context Representation Approaches in Mechanized Metatheory in the Rocq Theorem Prover
    13 May 2025 - 6 Aug 2025
  • ADVISORSHIP
    [SURA] Step-by-Step SML evaluation engine
    13 May 2025 - 26 Jun 2025
  • COURSE TAUGHT
    Independent Study in Computer Science
    13 May 2025 - 29 Jun 2025
    15591
  • COURSE TAUGHT
    Independent Study in Computer Science
    5 Jan 2025 - 4 May 2025
    15591
  • COURSE TAUGHT
    Parallel and Sequential Data Structures and Algorithms
    5 Jan 2025 - 4 May 2025
    15210
  • COURSE TAUGHT
    SCS Honors Undergraduate Research Thesis
    5 Jan 2025 - 4 May 2025
    07599
  • COURSE TAUGHT
    Software Foundations of Security and Privacy
    5 Jan 2025 - 4 May 2025
    15316
  • ADVISORSHIP
    [Independent Study] Software Foundations Course
    1 Jan 2025 - 1 May 2025
  • COURSE TAUGHT
    Constructive Logic
    25 Aug 2024 - 15 Dec 2024
    15317
  • COURSE TAUGHT
    Independent Study in Computer Science
    25 Aug 2024 - 15 Dec 2024
    15591
  • COURSE TAUGHT
    Principles of Functional Programming
    25 Aug 2024 - 15 Dec 2024
    15150
  • COURSE TAUGHT
    SCS Honors Undergraduate Research Thesis
    25 Aug 2024 - 15 Dec 2024
    07599
  • ADVISORSHIP
    [Independent Study] Refactoring Sequoia: A Functional Approach Using ELM
    1 Aug 2024 - 1 Dec 2024
  • COURSE TAUGHT
    Independent Study in Computer Science
    14 May 2024 - 23 Jun 2024
    15591
  • COURSE TAUGHT
    Independent Study in Computer Science
    7 Jan 2024 - 5 May 2024
    15591
  • COURSE TAUGHT
    Principles of Computing
    7 Jan 2024 - 5 May 2024
    15110