Links2Go
Logic
Roy Dyckhoff heads the research activity at St Andrews in computational logic. His and his students' work comprises the development of proof assistants and theorem-provers for various logics, the exploitation of various logics for problem specification or as programming languages, and the investigation of their proof theory and semantics. Juliana Bowles works on formal foundations of object-oriented specification languages in the context of large-scale distributed systems. Her main interests include true-concurrent logics for describing dynamic aspects of large distributed object systems, logics of knowledge and belief, and applications of category theory. Ian Gent works on search algorithms, experimental methods in CS and AI and constraint satisfaction problems. Ekaterina Komendantskaya works on theory and implementation of computational logic in artificial neural networks.
Computational Logic in Artificial Neural Networks EPSRC grant (Oct 2008 -- Sept 2011) (held by Ekaterina Komendantskaya)
Proof Theory and Constraint Satisfaction EPSRC grant (Jan--May 2008) for collaboration with James Caldwell and Ian Gent
Lexicalized Proof-Theoretic Semantics of Natural Language EPSRC grant (Feb--August 2007) for collaboration with Nissim Francez and James McKinna
Embounded: Automatic Resource Prediction for Embedded Systems Esprit Framework 6 grant (June 2005 -- Feb 2009) for collaboration with Kevin Hammond, Greg Michaelson, Martin Hofmann et al.
Logic Structures for Control EPSRC grant (2004--2007) for collaboration with Ursula Martin
Juliana Bowles, Edwin Brady, Peter Chapman, Roy Dyckhoff, Ian Gent, Jacob Howe, Ekaterina Komendantskaya, Vladimir Komendantsky, Jael Kriener, Robert Rothenberg
Andrew Adams, Muffy Calder, James Caldwell, Hans van Ditmarsch, Nissim Francez, Paul Gerrard, Jacob Howe, Ruth Hardy, Stéphane Lengrand, Neil Leslie, Thomas Peillon, James McKinna, Luis Pinto, Christian Urban
Current:
Sara Negri at HelsinkiOld:
Delia Kesner at Paris VII (PPS)
Philosophy and Foundations of Mathematics (Uppsala)
Proof Theory and Constructivism (Leeds)
Practice-based Philosophy of Logic and Mathematics (Amsterdam)
Links2Go Logic |
