Find out more about Jen Davoren's experience
Jen Davoren's highlights
Jen Davoren's selected work
On intuitionistic modal and tense logics and their classical companion logics: Topological..
Journal article
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
Conference Proceedings
Topologies and convergence in general hybrid path spaces
Conference Proceedings
Topological semantics and bisimulations for intuitionistic modal logics and their classica..
Conference Proceedings
On simulations and bisimulations of general flow systems
Conference Proceedings
Learning by doing: systematic abstraction refinement for hybrid control synthesis
Journal article
Jen Davoren's selected work
Projects
Displaying the 1 most recent project from 1 for Jen Davoren.
Project Types
1
Research Grant
Scholarly Works
Displaying the 10 most recent scholarly works from 20 for Jen Davoren.
Credentials
Positions
Honorary
Electrical and Electronic Engineering
Education
Doctor of Philosophy (Mathematics)
Cornell University
Master of Science
Cornell University
Bachelor of Arts (Honours) (Mathematics & Philosophy)
University of Melbourne