Fer-Jan de Vries
Brief CV
- September 1984 - September 1988:
promovendus in the Logic Group of Dirk
van Dalen, Faculteit der
Wijsbegeerte of the Utrecht
University, the Netherlands.
- October 1988 - February 1994:
postdoctoral research associate in the
Rewriting and Applications Group of Jan Willem Klop, CWI, Amsterdam, the Netherlands.
- March 1994 - February 1995:
invited researcher in the Group of Kenichi Koyama, NTT Communication Science
Laboratories, Kyoto, Japan.
- July 1995 - June 1996:
visiting research scientist in the Software
Engineering Group of Akihiko Takano, Hitachi Advanced Research
Laboratory, Hatoyama, Saitama, Japan.
- July 1996 - September 1996:
invited researcher in the Semantics Group of
Yoshiki Kinoshita, Electrotechnical Laboratory
(currently AIST), Tsukuba, Japan.
- October 1996 - September 1997:
COE fellow in the Semantics Group of
Yoshiki Kinoshita, Electrotechnical Laboratory
(currently AIST), Tsukuba, Japan.
- October 1997 - September 2000:
COE fellow and head of the Rewriting Group, Electrotechnical Laboratory
(currently AIST), Tsukuba, Japan.
- October 2000 - June 2021:
Lecturer, Department of Computer Science/School of Mathematics and
Computer Science/School of Informatics/soon School of Computing and
Mathematical Sciences of
the University of Leicester, UK.
|
|