Kristin Yvonne Rozier

MathSciNet


Ph.D. Rice University 2012 UnitedStates
Dissertation: Explicit or Symbolic Translation of Linear Temporal Logic to Automata
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1: Moshe Y. Vardi
Advisor 2: Paul Kelly Stockmeyer

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Conrad, EstherIowa State University2022
Dureja, RohitIowa State University2020

According to our current on-line database, Kristin Yvonne Rozier has 2 students and 2 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 241293 for the advisor ID.