Rachel Faran

Area of research

Computational Theory and Mathematics · Artificial Intelligence

Research interest

Research focused on Nondeterministic algorithm and Liveness, with related work in Automaton, Undecidable problem, Model checking. Notable publications include 'On Synthesis of Specifications with Arithmetic', 'LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems', and 'Spanning the spectrum from safety to liveness'.

Looking for a research collaborator?

Search millions of scientists by field, institution, impact, and funding status — see their work, find their email, and reach out directly.