Feb 9, 2010

PhD Scholarships on Models and Logics for Verification and Analysis (Due: 1 March 2010)

In this call we particularly welcome candidates whose interests cover at least one of the following topics:

(a) The interplay between static analysis and model checking;

(b) Methods and techniques for the analysis of discrete or stochastic features;

We are interested both in candidates aiming to perform foundational work and those that are interested in studying how to analyse concrete applications. We often describe our models using appropriate process calculi or suitable automata; similarly properties are often described in logics such as Alternation- free Least Fixed Point Logic, Computation Tree Logic, Continuous time Stochastic Logic or variants of these.
Static analysis techniques incorporate Abstract Interpretation, Flow Logic, Type and Effect Systems; model checking incorporates discrete and stochastic model checking.


Please quote 10 Academic Resources Daily in your application to this opportunity!

Join us and get free scholarship information to your inbox. Fill in the form below with your email address:

Delivered by FeedBurner