Skip to main content

Utility navigation

  • Calendar
  • Contact
  • Login
  • Make a Gift
Berkeley University of California
Home Home

Main navigation

  • Home
  • Programs & Events
    • Research Programs
    • Research Pods
    • Workshops & Symposia
    • Public Lectures
    • Internal Program Activities
  • People
    • Scientific Leadership
    • Staff
    • Current Long-Term Visitors
    • Research Fellows
    • Postdoctoral Researchers
    • Scientific Advisory Board
    • Governance Board
    • Industry Advisory Council
    • Affiliated Faculty
    • Science Communicators in Residence
    • Law and Society Fellows
  • Participate
    • Ways to Participate
    • Postdoctoral Research Fellowships
    • Law and Society Fellowships
    • Science Communicator in Residence Program
    • Plan Your Visit
  • Support
    • Annual Fund
    • Funders
    • Industrial Partnerships
    • Academic Partnerships
  • News & Videos
    • News
    • Videos
  • About

Breadcrumb

  1. Home
  2. People
  3. Martina Seidl

Martina Seidl

Associate Professor, Johannes Kepler University Linz
Visiting Scientist

Martina Seidl is an Associate Professor at the Institute for Formal Models and Verification of the Johannes Kepler Universität Linz. Her reaserch interests are quantified boolean formulas, automated reasoning, model evolution, model engineering and formal verification of software models.

Program Visits

Satisfiability: Theory, Practice, and Beyond , Spring 2021
Visiting Scientist
Website Opens new tab
Home
The Simons Institute for the Theory of Computing is the world's leading venue for collaborative research in theoretical computer science.

Footer

  • Programs & Events
  • About
  • Participate
  • Workshops & Symposia
  • Contact Us
  • Calendar

Footer social media

  • Twitter
  • Facebook
  • Youtube
© 2013–2023 Simons Institute for the Theory of Computing. All Rights Reserved.
link to homepage

Main navigation

  • Home
  • Programs & Events
    • Research Programs
    • Research Pods
    • Workshops & Symposia
    • Public Lectures
    • Internal Program Activities
  • People
    • Scientific Leadership
    • Staff
    • Current Long-Term Visitors
    • Research Fellows
    • Postdoctoral Researchers
    • Scientific Advisory Board
    • Governance Board
    • Industry Advisory Council
    • Affiliated Faculty
    • Science Communicators in Residence
    • Law and Society Fellows
  • Participate
    • Ways to Participate
    • Postdoctoral Research Fellowships
    • Law and Society Fellowships
    • Science Communicator in Residence Program
    • Plan Your Visit
  • Support
    • Annual Fund
    • Funders
    • Industrial Partnerships
    • Academic Partnerships
  • News & Videos
    • News
    • Videos
  • About

Utility navigation

  • Calendar
  • Contact
  • Login
  • Make a Gift
link to homepage