List of developers for the OKlibrary

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

• (unique) acronyms (must be used to refer to them anywhere in the documentation)
• affiliations (in chronological order).

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