List of developers for the OKlibrary

All developers (who ever contributed) are listed, with their

New developers are added at the top of the list (so that the list in total appears in inverse chronological order).

The e-mail addresses should be the same as those known to Git on the developers system (so that the same developer does not appear as Git submitter with several different e-mail addresses).

Main developers

OK
Oliver Kullmann: O.Kullmann@Swansea.ac.uk, home page
  1. Swansea University, Computer Science Department.

Core developers

RW
Rui Wang: 502618@Swansea.ac.uk, home page
  1. Swansea University, Computer Science Department, MSc student supervised by Oliver Kullmann; started February 2009.
PJ
Phillip James: 366409@Swansea.ac.uk, home page
  1. Swansea University, Computer Science Department, MRes student supervised by Markus Roggenbarch; started October 2008.
KK
Karim Kanso: 298404@Swansea.ac.uk, home page
  1. Swansea University, Computer Science Department, MRes student supervised by Anton Setzer; started January 2008.
MG
Matthew Gwynne: csmg@swansea.ac.uk, home page
  1. Swansea University, Computer Science Department, computer science student supervised by OK, started July 2007.
  2. MRes student supervised by OK, started October 2008.
  3. PhD student supervised by OK, started January 2010.
ML
Matthew Lewsey: e-mail, home page
  1. Swansea University, Computer Science Department, PhD-student of OK, started October 2006.
MH
Matthew Henderson: e-mail, home page
  1. Swansea University, Computer Science Department, research assistant of OK from October 2005 to March 2006.
  2. Universität Paderborn, postdoctoral position at the project "Syntactic and Semantic Integration of Visual Modelling Techniques" under Prof. Dr. Gregor Engels, especially in collaboration with the group of Prof. Dr. Hans Kleine Büning, from March 2006 to September 2006.
  3. Swansea University, Computer Science Department, research assistant of OK from October 2006 to February 2007.
  4. E-mail until Februrary 2007: "M.Henderson@Swansea.ac.uk".
  5. Western Kentucky University, Department of Mathematics from August 2007 until May 2008.
  6. Berea College, Department of Mathematics and Computer Science from August 2008 until July 2010.
TB
Tony Bao
  1. Swansea University, Computer Science Department, research assistant of OK from August 2004 to August 2005.
  2. Inactive since August 2005.

Local developers

AB
Arnold Beckmann: A.Beckmann@Swansea.ac.uk, home page
  1. Swansea University, Computer Science Department
UB
Ulrich Berger: U.Berger@Swansea.ac.uk, home page
  1. Swansea University, Computer Science Department

External developers

YP
Yuping Shen : shyping@sysu.edu.cn, home page
  1. Institute of Logic and Cognition, Sun Yat-Sen University, Guangzhou, P.R. China
MN
Mladen Nikolić : nikolic@matf.bg.ac.rs, home page
  1. Faculty of Mathematics, University of Belgrade, Serbia
XSZ
Xishun Zhao : hsszxs@mail.sysu.edu.cn, home page
  1. Institute of Logic and Cognition, Sun Yat-Sen University, Guangzhou, P.R. China
DLB
Daniel Le Berre : leberre@cril.univ-artois.fr, home page
  1. Centre de Recherche en Informatique de Lens, Faculté Jean Perrin, Université d'Artois
MJHH
Marijn J.H. Heule: M.J.H.Heule@tudelft.nl, home page
  1. Delft University of Technology, Faculty of Electrical Engineering, Mathematics and Computer Science, Department of Software Technology

Last modified: Sat Mar 12 19:26:00 GMT 2011
Oliver Kullmann