SLURP
Research on Java Semantics
We continue working on the application of formal methods to
Java, considering soundness and safety issues.
We believe that this is a relevant, wide and interesting research
area, and that, for some questions it will require extension
of existing theories.
We would very much like to hear of
interested propsective
PhD students.