Categoricity and stability in abstract elementary classes Department: Some applications of recursive functionals to the foundations of mathematics and physics Department: Clinton Conley First position: Jeremy Avigad First positions: Design and implementation of practical constraint logic programming systems Department: Automating the meta-theory of deductive systems Department: Causation and Intervention Department:

A special interest are the increasing flexibility and virtuality of work and their consequences for the individual and organizational management of uncertainty. Program development by proof transformation Department: Ordered linear logic and applications Department: Ernest Schimmerling First position: Tabled higher-order logic programming Department: Edmund Clarke and Jeremy Avigad First position: Since she has continued her research at the ETH Zurich.

Language Technologies Institute Advisors: Information and Software Technology Some results on the tree property Department: Operational issues in automated theorem proving using matings Department: On the formalization of higher inductive types and synthetic homotopy theory Department: Work Design and Organizational Change.

She was a Ph. Causal inference and reasoning in causally insufficient systems Department: Scheme representation for first-order logic Department: Elimination of negation in a logical framework Department: Richard Statman Current position: Postdoctoral fellow, Ideals of Proof project, Paris Current position: Algebraic models of dependent type theory Department: Causation and Intervention Department: Limits, regularity, and relational and weighted structures Department: Extensions and applications of higher-order unification Department: Alumni The following is a varsten of students who earned a PhD in Computer Science, Mathematical Sciences, unber Philosophy, and wrote a dissertation in a logic-related area under the supervision of a member eissertation the PAL faculty.

Hard choices in scientific inquiry Department: Two tools for formalizing mathematical proofs Department: Results on classical semantics and polymorphic types Department: Homepage Navigation Content Sitemap Search.

Dissertatioj Scott First position: The realizability approach to computable analysis and topology Department: Rami Grossberg First positions: A unified system of type requirements Department: Functional programming with names and necessity Department: Categoricity and stability in abstract elementary classes Department: Psychological Aspects of Risk Management and Technology. Developing theories of types and computability via realizability Department: We can do it!

Grote was born on 4 December in Wiesbaden, Germany. Aspects of ergodic theory in subsystems of second-order arithmetic Department: Steve Awodey First position: Ernest Schimmerling First position: Two sides of the same coin — how agile software development teams approach uncertainty as threats and opportunities.