Shinya Sato, PhD

• Associate Professor, Institute for Liberal Arts Education, Ibaraki University
  • 2-1-1 Bunkyou, Mito, Ibaraki 310-8512, JAPAN.
• PhD (University of Sussex, 18 May 2015)

Experience

• Visiting Lecturer, School of Engineering & Informatics, University of Sussex, August 2023 -- Present.
• Associate Professor, Institute for Liberal Arts Education, Ibaraki University, April 2017 -- Present.
• Associate Professor, University Education Center, Ibaraki University, September 2015 -- March 2017.
• 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.

Interesting

• Interaction nets (a computational interpretation of linear logic) and parallel computing
• Interaction nets as a programming language: Inpla
• ICT in education
• An interpreter of while programs
• Typing training game `Hajime no Typing' (written in Japanese language)
• Programming languages (semantics, types), Formal methods
• Web computing

Publications

• 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.
• Presentations at international workshops and conferences
• Ian Mackie, Shinya Sato and Marc Thatcher,
  FLIN: A Functional Language for Interaction Nets
  IFL 2023, The 35th Symposium on Implementation and Application of Functional Languages, Braga, Portugal, August 29--31, 2023.
• Ian Mackie, Shinya Sato and Marc Thatcher,
  Graph Edit Distance for Interaction Net Rewrite Rules
  GCM 23 - the 14th International Workshop on Graph Computation Models, Leicester, UK, July 18, 2023.
• Shinya Sato,
  Conditional Nested Pattern Matching in Interaction Nets
  DCM 2023 - 13th International Workshop on Developments in Computational Models, Rome, Italy, July 2, 2023.
• 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,
  20th Nordic Workshop on Programming Theory, NWPT '08, Tallinn, Estonia, 2008/11.
• Abubaker Hassan, Ian Mackie and Shinya Sato,
  Compilation of interaction nets,
  TERMGRAPH 2009, 2009/03.
• 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.

Links

• GitHub Repository
• Interaction nets as a programming language: Inpla
• An interpreter of while programs
• DBLP
• ResearchGate
• Typing training game `Hajime no Typing' (written in Japanese language)