- Associate Professor (since September 2015),
University Education Center,
Ibaraki University
- 2-1-1 Bunkyou, Mito-shi, Ibaraki 310-8512, JAPAN.

- PhD (University of Sussex, May 2015)

- Associate Professor, University Education Center, Ibaraki University, September 2015 -- Present.
- Associate Teacher, Department of Computer Science, University of Sussex, February 2014 -- April 2014.
- Associate Professor, Faculty of Econoinformatics, Himeji Dokkyo University, April 2004 -- March 2012.
- Visiting Researcher, Department of Computer Science, King's College London, September 2006 -- August 2007.
- Lecturer, Faculty of Econoinformatics, Himeji Dokkyo University, April 2002 -- March 2004.

- Interaction nets (a computational interpretation of linear logic) and parallel computing
- Interaction nets as a programming language: Inpla

- Programming languages (semantics, types), Formal methods
- Web computing, ICT in education

- Papers
- Ian Mackie and Shinya Sato,

In-place Graph Rewriting with Interaction Nets

Proceedings 9th International Workshop on Computing with Terms and Graphs, Electronic Proceedings in Theoretical Computer Science, Vol. 225, September 2016. - Ian Mackie and Shinya Sato,

Parallel Evaluation of Interaction Nets: Case Studies and Experiments

Electronic Communications of the EASST, Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015, April 2016. - Ian Mackie and Shinya Sato,

An Interaction Net Encoding of Gödel's System T - Declarative Pearl

Functional and Logic Programming - 13th International Symposium (FLOPS 2016), Lecture Notes in Computer Science, Vol. 9613, pp. 80--93, Springer, 2016/02. - Ian Mackie and Shinya Sato,

Parallel Evaluation of Interaction Nets: Some Observations and Examples (Work-in-progress)

Proceedings of the 6th International Workshop on Graph Computation Models, CEUR Workshop Proceedings, Vol. 1403, pp. 50--65, 2015/07. - Abubakar Hassan, Ian Mackie and Shinya Sato,

An implementation model for interaction nets

Proceedings 8th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2014, Electronic Proceedings in Theoretical Computer Science, Vol. 183, 2015/05. - Shinya Sato,

Design and implementation of a low-level language for interaction nets

PhD Thesis, University of Sussex, September 2014. - Abubakar Hassan, Ian Mackie and Shinya Sato,

A lightweight abstract machine for interaction nets,

Electronic Communications of the EASST, Volume 29: Graph Transformation and Visual Modeling Techniques 2010, 2010. - Abubakar Hassan, Eugen Jiresch and Shinya Sato,

An Implementation of Nested Pattern Matching in Interaction Nets,

Electronic Proceedings in Theoretical Computer Science, Vol. 21, 2010, pp. 13-25, 2010/03. - Maribel Fernandez, Ian Mackie, Shinya Sato and Matthew Walker,

Recursive Functions with Pattern Matching in Interaction Nets,

Electronic Notes in Theoretical Computer Science, 253(4), pp 55-71, Elsevier, 2009. - Abubaker Hassan, Ian Mackie and Shinya Sato,

Compilation of Interaction Nets,

Electronic Notes in Theoretical Computer Science, 253(4), pp 73-90, Elsevier, 2009. - Abubaker Hassan, Ian Mackie and Shinya Sato,

Interaction nets: programming language design and implementation,

Electronic Communications of the EASST, Volume 10: Graph Transformation and Visual Modeling Techniques 2008, 2008. - Ian Mackie and Shinya Sato,

A calculus for interaction nets based on the linear chemical abstract machine,

In proceedings of 3rd International Workshop on Development of Computational Models, Electronic Notes in Theoretical Computer Science, Vol. 192, pp 59-70, Elsevier, 2008. - Abubaker Hassan and Shinya Sato,

Interaction Nets with nested pattern Matching,

In proceedings of the 4th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007), Electronic Notes in Theoretical Computer Science, Vol 203, pp 79-92, Elsevier, 2008. - Shinya Sato and Toru Sugimoto,

An Implementation of Recursive Operations in lambda-evaluator YALE on Interaction Nets,

In proceedings of Constructive Methods for Parallel Programming 2004, Technical report of the University of Munster 2004(pp141-154), 2004/07. - Shinya Sato, Toru Sugimoto and Shinichi Yamada,

An implementation model of the typed lambda calculus based on Linear Chemical Abstract Machine,

Electronic Notes in Theoretical Computer Science, Vol 64, Elsevier, 2002/09. - Shinya Sato and Toru Sugimoto,

A Lambda Evaluator on Linear Chemical Abstract Machine, Constructive Methods for Parallel Programming,

Advances in Computation: Theory and Practice, Vol 10, pp111-126, Nova Science Publishers, 2002/09.

- Ian Mackie and Shinya Sato,
- Presentations at international workshops and conferences
- Ian Mackie and Shinya Sato,

In-place Graph Rewriting with Interaction Nets

TERMGRAPH 2016 - Computing with Terms and Graphs - 9th International Workshop, Eindhoven, Netherlands, April 8, 2016. - Ian Mackie and Shinya Sato,

An Interaction Net Encoding of Gödel's System T - Declarative Pearl

Functional and Logic Programming - 13th International Symposium (FLOPS 2016), Kochi, Japan, March 4-6, 2016. - Ian Mackie and Shinya Sato,

Parallel Evaluation of Interaction Nets: Some Observations and Examples (Work-in-progress)

Sixth International Workshop on Graph Computation Models (GCM 2015), L'Aquila, Italy, July 20, 2015. - Ian Mackie and Shinya Sato,

An interaction net encoding of Gödel's System T

5th International Workshop on Graph Computation Models, 21 July 2014, York, UK. - Shinya Sato,

A low-level language for interaction nets

STAFF 2014 DOCTORAL SYMPOSIUM (DOCSYMP), 21 July 2014, York, UK. - Ian Mackie and Shinya Sato,

An implementation model for interaction nets

8th International Workshop on Computing with Terms and Graphs, 13 July 2014, Vienna, Austria. - Ian Mackie and Shinya Sato,

Some observations for the parallel implementation of interaction nets

10th International Workshop on Developments in Computational Model, 13 July 2014, Vienna, Austria. - Abubakar Hassan, Ian Mackie and Shinya Sato,

A light-weight abstract machine for interaction nets,

GT-VMT 2010, 20-21 March 2010, Paphos, Cyprus. - Abubakar Hassan, Eugen Jiresch and Shinya Sato,

An Implementation of Nested Pattern Matching in Interaction Nets,

RULE 2009, 28 June 2009, Brasilia, Brazil. - Maribel Fernandez, Ian Mackie, Shinya Sato and Matthew Walker,

Recursive Functions with Pattern Matching in Interaction Nets,

TERMGRAPH 2009, 2009/03. - Abubaker Hassan, Ian Mackie and Shinya Sato,

Translating interaction nets to C,

TERMGRAPH 2009, 2009/03. - Abubaker Hassan, Ian Mackie and Shinya Sato,

Compilation of interaction nets,

20th Nordic Workshop on Programming Theory, NWPT '08 Tallinn, Estonia, 19-21 November 2008. - Abubaker Hassan, Ian Mackie and Shinya Sato,

Interaction nets: programming language design and implementation,

7th International Workshop on Graph Transformation and Visual Modeling Techniques, 2008/03. - Ian Mackie and Shinya Sato,

A calculus for interaction nets based on the linear chemical abstract machine,

3rd International Workshop on Development of Computational Models, 2007. - Abubaker Hassan and Shinya Sato,

Interaction Nets with nested pattern Matching,

TERMGRAPH 2007, 2007/03. - Shinya Sato and Toru Sugimoto,

An Implementation of Recursive Operations in lambda-evaluator YALE on Interaction Nets,

4th International Workshop on Constructive Methods for Parallel Programming 2004, 2004/07. - Shinya Sato, Toru Sugimoto and Shinichi Yamada,

An implementation model of the typed lambda calculus based on Linear Chemical Abstract Machine,

International Workshop on Functional and (Constraint) Logic Programming (WFLP2001), 2001. - Shinya Sato and Toru Sugimoto,

A Lambda Evaluator on Linear Chemical Abstract Machine,

2nd International Workshop on Constructive Methods for Parallel Programming (CMPP2000), 2000.

- Ian Mackie and Shinya Sato,