skip to main content
Positions Available
Division of Engineering and Applied Science
Computing + Mathematical Sciences
Division of Engineering and Applied Science
About
Positions Available
CMS-EE Partners Program
Community
Open Community Submenu
Women in CMS
Diversity, Equity, and Inclusion
Mentoring Opportunities
Equity and Title IX Office
Directory
Photo Directory
CMS Recharge Center
Room Reservations
Location
People
Faculty
Visitors
Open Visitors Submenu
Merkin Distinguished Visiting Professorship
Postdoctoral Scholars
Open Postdoctoral Scholars Submenu
Postdoc Alumni
Graduate Students
Open Graduate Students Submenu
Graduate Alumni
Research Staff
Administration
Academics
Graduate Programs
Open Graduate Programs Submenu
Graduate Degree in Applied + Computational Mathematics
Graduate Degree in Computer Science
Graduate Degree in Computing + Mathematical Sciences
Graduate Degree in Control + Dynamical Systems
Graduate Subject Minors
Undergraduate Programs
Open Undergraduate Programs Submenu
Undergraduate Major in Applied + Computational Mathematics
Undergraduate Major in Computer Science
Undergraduate Major in Information + Data Sciences
Undergraduate Minor in Control + Dynamical Systems
Undergraduate Minor in Computer Science
Undergraduate Minor in Information + Data Sciences
Courses
Course Schedule
Honors and Awards
Research
Research Centers & Initiatives
Algorithmic Economics
Artificial Intelligence and Machine Learning
Computational Biology
Graphics and Geometry
Information Theory and Applied Probability
Mathematics of Data
Mathematical Modeling and Analysis
Molecular Programming and Synthetic Biology
Networked and Distributed Systems
Optimization
Quantum Information and Computation
Robotics and Autonomous Control
Scientific Computing and Numerical Analysis
Theoretical Computer Science
News & Events
Seminars
News
Meeting of the Minds
Open Meeting of the Minds Submenu
CMS + IST Meeting of the Minds 2023
CMS + IST Meeting of the Minds 2022
IST Meeting of the Minds 2019
IST Meeting of the Minds 2018
CMS Meeting of the Minds 2017
CMS Meeting of the Minds 2016
TechFest
Keller Colloquium in CMS
Contact Us
Search
Menu
Close
About
Click here to open the "About" Submenu
People
Click here to open the "People" Submenu
Academics
Click here to open the "Academics" Submenu
Research
Click here to open the "Research" Submenu
News & Events
Click here to open the "News & Events" Submenu
Contact Us
Positions Available
Division of Engineering and Applied Science
About
Back
Positions Available
CMS-EE Partners Program
Community
Women in CMS
Diversity, Equity, and Inclusion
Mentoring Opportunities
Equity and Title IX Office
Directory
Photo Directory
CMS Recharge Center
Room Reservations
Location
CMS People
Back
Faculty
Visitors
Merkin Distinguished Visiting Professorship
Postdoctoral Scholars
Postdoc Alumni
Graduate Students
Graduate Alumni
Research Staff
Administration
Academics
Back
Graduate Programs
Graduate Degree in Applied + Computational Mathematics
Graduate Degree in Computer Science
Graduate Degree in Computing + Mathematical Sciences
Graduate Degree in Control + Dynamical Systems
Graduate Subject Minors
Undergraduate Programs
Undergraduate Major in Applied + Computational Mathematics
Undergraduate Major in Computer Science
Undergraduate Major in Information + Data Sciences
Undergraduate Minor in Control + Dynamical Systems
Undergraduate Minor in Computer Science
Undergraduate Minor in Information + Data Sciences
Courses
Course Schedule
Honors and Awards
Research
Back
Research Centers & Initiatives
Algorithmic Economics
Artificial Intelligence and Machine Learning
Computational Biology
Graphics and Geometry
Information Theory and Applied Probability
Mathematics of Data
Mathematical Modeling and Analysis
Molecular Programming and Synthetic Biology
Networked and Distributed Systems
Optimization
Quantum Information and Computation
Robotics and Autonomous Control
Scientific Computing and Numerical Analysis
Theoretical Computer Science
News & Events
Back
Seminars
News
Meeting of the Minds
CMS + IST Meeting of the Minds 2023
CMS + IST Meeting of the Minds 2022
IST Meeting of the Minds 2019
IST Meeting of the Minds 2018
CMS Meeting of the Minds 2017
CMS Meeting of the Minds 2016
TechFest
Keller Colloquium in CMS
Search
Home
/
People
/ Gerard Holzmann
Gerard Holzmann
Lecturer in Computing and Mathematics Sciences
Gerard Holzmann
Personal Website
Research Website
