 |
STAFF
— Nir Piterman
Reader
|
G13Computer Science Building
Department of Computer Science,
University of Leicester,
University Road,
Leicester,
LE1 7RH.
T: +44 116 252 3813 (Office)
F: +44 116 252 3604 (not personal)
E: firstname.lastname@le.ac.uk
|
Research Interests
My research interests include formal verification and automata theory.
I have worked (and still am) on model checking of various types of
systems, different aspects of temporal logic, as well as synthesis and game
solving.
I am also working on applications of formal methods to biological modeling.
Publications
CV
Short Bio
I completed my PhD in 2005 at the
Weizmann Institute of Science
under the supervision of
Amir Pnueli.
Between 2005-2007 I was a postdoc in
Tom Henzinger's group in the
Ecoloe Polytechnique Federal de Lausanne.
Between 2007-2010 I was a research Fellow in
Imperial College London
working with Michael Huth.
Since 2010 I am a lecturer/reader in the University of Leicester.
PhD Students
Heidy Khlaaf
Alexey Bakhirkin
Dr Jim Kou (Thesis July 2013)
Dr Nicolas D'Ippolito (Thesis March 2013).
Dr Daniel Wagner (Thesis October 2010).
Looking for a PhD position?
Check out this
list of topics I'm interested in
or just get in touch.
Tools
BMA
T2
Teaching
-
More teaching ...
-
Advanced C++ Programming (restricted link)
(University of Leicester, Autumn 2012, Autumn 2013, Autumn 2014)
-
Games and Synthesis
(EATCS Young Researchers School, Summer 2014)
-
Discrete Event Systems (restricted link)
(University of Leicester, Spring 2011, Spring 2012, Spring 2013, Spring 2014)
-
Synthesis from Temporal Specifications with Applications in Robotics and Model-driven Development (University of Buenos Aires, Summer 2010)
-
Models of Computation (Imperial College London, Spring 2010)
-
Computability and Complexity (Imperial College London, Autumn 2008)
-
Theoretical Computer Science III (EPFL, 2006-2007)
-
Computer Aided
Verification (EPFL, 2006)
-
Theoretical Computer Science III (EPFL, 2005-2006)
-
Problem
Solving
(EPFL, 2005)
-
Advanced Topics in Automata (Weizmann, 2003)
-
Advanced Topics in Computability
(Weizmann, 2002)
Journal
I am an editor of
Acta Informatica.
Events
-
More events ...
-
31st Annual ACM/IEEE Symposium on Logic in Computer Science
(LICS 2016)
-
22nd International Conference on Tools and Algorithms for
the Construction and Analysis of Systems
(TACAS 2016).
-
11th Haifa Verification Conference
(HVC 2015).
-
4th International Workshop on Hybrid Systems Biology
(HSB 2015) - part of the
Madrid Meet,
which includes
CONCUR,
FORMATS, and
QEST.
-
18th International Conference on Foundations of Software Science and
Computation Structures
(FOSSACS 2015).
-
Highlights of Logic, Games, and Automata, 2014
.
-
EATCS Young Researchers School on Automata, Logic, and Games, 2014
.
-
Workshop on Synthesis (SYNT 2014)
adjoined workshop to CAV 2014.
-
29th Annual ACM/IEEE Symposium on Logic in Computer Science
(LICS 2014) -
part of
Vienna Summer of Logic
.
-
20th International Conference on Tools and Algorithms for
the Construction and Analysis of Systems
(TACAS 2014).
-
Workshop on Synthesis (SYNT 2013)
adjoined workshop to CAV 2013.
-
Young Researchers Workshop on Concurrency Theory
(YR-Concur 2013).
-
24th International Conference on Concurrency Theory
(Concur 2013).
-
38th International Symposium on
Mathematical Foundations of Computer Science
(MFCS 2013).
-
19th International Conference on Tools and Algorithms for
the Construction and Analysis of Systems
(TACAS 2013).
-
Young Researchers Workshop on Concurrency Theory
(YR-Concur 2012).
-
10th International Conference on Formal Modeling and Analysis of Timed Systems
(FORMATS 2012).
-
3rd International Symposium on Games, Automata, Logics and Formal Verification
(GandALF 2012).
-
Workshop on Synthesis (SYNT 2012)
adjoined workshop to CAV 2012.
-
International Conference on Computer Aided Verification (CAV 2012).
-
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012).
-
Young Researcher - Concur adjoined workshop to Concur 2011.
-
Formal Methods for Robotics and Automation
adjoined workshop to CAV 2011.
-
International Symposium on Temporal Representation and Reasoning (TIME 2011).
|