School of Computing

Ms Jael Kriener

Research Student

Photo of JE Kriener
  • Tel:     +44 (0)1227 823822
  • Fax:     +44 (0)1227 762811
  • Email: jek26@kent.ac.uk
  • Room SW104
    School of Computing
    University of Kent, CT2 7NF

Publications

My publications are available from the Computer Science department publications repository.

Code:

mux - demo-version of the mux-algorithm described in "Mutual Exclusion by Interpolation" (FLOPS 2012)

Pre-PhD Things:

You can find a report on an implementation of a cut-free sequent calculus for logics with adjoint modalities I did under the supervision of Roy Dyckhoff here.

And if you're really keen, you can have a look at either one of my two BSc-dissertations here:
Puzzle Design using Constraint Programming
Joseph Butler on Self-Deceit and Hypocrisy

PhD Project Summary

I am supervised by Andy King. The focus of my work lies on provably correct static analyses of declarative programs, in particular on determinacy analyses. I have been working on determinacy inference (i.e. inferring deterministic modes) for logic programs containing cut.

Research Interests

I am a member of the following research groups:

Aside from my (obvious) interest in my PhD project, I am interested in:

  • Static Analysis more generally,
  • Constraint Modelling and Solving,
  • All Things Logical: Formal and Automated Reasoning of all sorts, particularly Automated and Interactive Theorem Proving, again particularly Coq, Proof Theory, Non-Classical Logics, History of Logic, etc
  • Philosophical issues in Computer Science (not so much the information ethics issues, but more epistemic issues, like 'What kind of knowledge can we have about the programs that we write?' 'How can we gain such knowledge?'...)

Theoretical Computer Science Reading Group

I coordinate (i.e. am trying to get going) a reading group in theoretical computer science.

Anyone with any interest in logic/ type theory/ etc is extremely welcome to get in touch or simply come by Tuesday afternoons. More details here.

Teaching

I am not teaching this semester.

But that doesn't mean you can't come and ask me questions! If you're a student with us and you feel like talking about logic/ functional programming/ maths/ etc... come by my office!

I have previously taught on the following:
CO322: Foundations of Computing
CO537: Functional Programming
CO841: Contracts, Professional Responsibility & Computer Law
CO844: Logic and Logic Programming

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/05/2012 03:14