Skip to main content Skip to navigation

Meurig Beynon

Job Title
Associate Professor (Reader)
Department
Computer Science
Phone
024 7652 3089
Web Link
Research Interests

Over my career, I have published over 100 refereed research papers detailing my contributions to mathematics (with particular reference to the discovery of the Baker-Beynon duality), to theoretical computer science (including the introduction of a notion of computational equivalence, and its application to the characterisation of boolean functions computable by planar monotone circuits) and to Empirical Modelling, a body of principles and tools that offers an alternative conceptual framework for computing with applications to human-computer interaction, computer graphics and CAD, software development, decision-support, educational technology and humanities computing. For more details, see the links to my research resume and the publications on the Empirical Modelling website.

Biography

I am an Emeritus Reader in Computer Science at the University of Warwick, now pursuing research and teaching in Empirical Modelling full-time. I obtained my BSc and PhD in Mathematics at King's College London. Before joining Warwick in 1975, I worked as a research assistant at the Open University, and held an SRC Research Fellowship in Mathematics at University College, Swansea.

  • Monks, Thomas, Pope, N. W., Myers, Richard, Harfield, Antony, Beynon, Meurig, Zhu, H., 2013. Web support for e-learning : a constructivist computing approach. International Conference on E-Technologies and Business on the Web (EBW2013), Bangkok, Thailand, 7-9 May 2013
  • Beynon, Meurig, Beynon, Will, 2012. Construals to support exploratory and collaborative learning in medicine. Intelligent Support for Exploratory Environments, 12-20 June 2012
  • Harfield, Antony, Beynon, Meurig, 2012. Empirical modelling for constructionist learning in a Thai secondary school mathematics class. Ninth International Conference on eLearning for Knowledge-Based Society, Bangkok, Thailand, 13-14 Dec 2012
  • Beynon, Meurig, 2012. Realising software development as a lived experience. ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Tucson, Arizona, USA, 21-25 Oct 2012, Published in Onward! '12 Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software, pp. 229-244
  • Keer, Daniel, Russ, Steve, Beynon, Meurig, 2010. Computing for construal: an exploratory study of desert ant navigation. International Conference on Computational Science(ICCS), Univ Amsterdam, Amsterdam, Netherlands, May 31-June 02, 2010, Published in Procedia Computer Science, pp. 2201-2210
  • Beynon, Meurig, Harfield, Antony, 2010. Constructionism through construal by computer. Constructionism 2010, Paris, France, Aug 16 - 21 2010
  • Pope, N. W., Beynon, Meurig, 2010. Empirical modelling as an unconventional approach to software development. SPLASH 2010 Workshop on Flexible Modeling Tools, Reno Nevada, USA, October 18, 2010
  • Maad, Soha, Mccarthy, J. B., Garbaya, S., Beynon, Meurig, Nagarajan, Rajagopal, 2010. Service software engineering for innovative infrastructure for global financial services. 7th European, Mediterranean and Middle Eastern Conference on Information Systems, EMCIS 2010, Abu-Dhabi, 12-13 Apr 2010, Published in Proceedings of the European, Mediterranean and Middle Eastern Conference on Information Systems: Global Information Systems Challenges in Management, EMCIS 2010
  • Jormanainen, I., Beynon, Meurig, Sutinen, Erkki, 2010. Understanding open learning processes in a robotics class. International Conference on Computing Education Research (Koli Calling), Koli National Park, Finland, Published in Koli Calling 2009 : 9th International Conference on Computing Education Research, pp. 51-54
  • Harfield, Antony, Beynon, Meurig, Myers, R., 2009. Web Eden and Moodle : an empirical modelling approach to web-based education. IASTED International Conference Web-based Education (WBE 2009), Phuket, Thailand, 16-18 March 2009, Published in Web-Based Education, pp. 272-278
  • Beynon, Meurig, Myers, Richard, Harfield, Antony, 2009. Web Eden : support for computing as construction?. 9th International Conference on Computing Education Research (Koli Calling), Koli National Park, Finland, 28-31, Oct 2009, Published in Koli Calling 2009 : 9th International Conference on Computing Education Research, pp. 47-50
  • Beynon, Meurig, Boyatt, Russell, Chan, Zhan En, 2008. Intuition in software development revisited. 20th Annual Psychology of Programming Interest Group Conference, Lancaster, UK, 18-20 Sep 2008
  • Beynon, Meurig, 2007. Computing technology for learning - in need of a radical new conception. Conference on Technology and Change in Educational Practice, London Knowledge Lab, Inst Educ, London, England, Oct 2005, Published in Educational Technology & Society, pp. 94-106
  • Beynon, Meurig, Harfield, Antony, Vesisenaho, M., 2007. Contextualising information and communications technology in developing countries. 7th Annual Finnish/Baltic Sea Conference on Computer Science Education (Koli Calling 2007), Koli National Park, Finland, 15-18 Nov 2007, Published in Koli Calling 2007 - Proc. Seventh Baltic Sea Conference on Computing Education Research, pp. 31-40
  • Roe, Chris P., Beynon, Meurig, 2007. Dependency by definition in imagine-d logo : applications and implications. 11th European Logo Conference, Bratislava, Slovakia, 19-24 Aug 2007, Published in Proceedings of the 11th European Logo Conference
  • Beynon, Meurig, 2007. Visualisation using empirical modelling principles and tools. AHRC ICT Methods Network Expert Workshop, Birmingham, UK, 19 June, 2007
  • Beynon, Meurig, Chan, Zhan En, 2006. A conception of computing technology better suited to distributed participatory design. NordiCHI Workshop on Distributed Participatory Design, Oslo, Norway, 14 Oct 2006
  • Boyatt, Russell, Harfield, Antony, Beynon, Meurig, 2006. Learning about and through empirical modelling. 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006), Kerkrade, The Netherlands, 5-7 Jul 2006, pp. 662-666
  • Beynon, Meurig, 2006. Mathematics and music : models and morals. The Bridges Conference : Mathematical Connections in Art, Music, and Science, London, England, 4 - 9 Aug 2006, pp. 437-444
  • Beynon, Meurig, Klein, Rody R., 2006. Metis meets empirical modelling : from ancient wisdom to emerging technology. IST-Africa 2006, Pretoria, South Africa, 3-5 May 2006
  • Beynon, Meurig, Harfield, Antony, 2006. Rethinking life-long learning : the empirical modelling approach. 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006), Kerkrade, The Netherlands, 5-7 Jul 2006, Published in Sixth International Conference on Advanced Learning Technologies, 2006, pp. 854-858
  • Beynon, Meurig, Boyatt, Russell, Russ, Steve, 2006. Rethinking programming. 3rd International Conference on Information Technology - New Generations (ITNG), Las Vegas, NV, 10-12 Apr 2006, Published in IEEE Information Technology Conference. Proceedings, pp. 149-154
  • Beynon, Meurig, 2006. Towards technology for learning in a developing world. IEEE 4th International Workshop on Technology for Education in Developing Countries (TEDC 2006), Iringa, Tanzania, 10 - 12 Jul 2006, pp. 88-92
  • Beynon, Meurig, Harfield, Antony, Jormanainen, I., 2006. Varieties of concretisation : an illustrative example. 5th Annual Finnish/Baltic Sea Conference on Computer Science Education (Koli Calling 2005), Koli National Park, Finland, 17-20 Nov 2005, Published in Koli Calling 2005 - Proceedings of the Fifth Koli Calling Conference on Computer Science Education, pp. 153-156
  • Beynon, Meurig, Harfield, Antony, Chang, S., 2005. Alternative model-building for the study of socially interactive robots. AISB 2005 Symposium on Robot Companions Hard Problems and Open Challenges in Human-Robot Interaction, Hatfield, UK, 12-15 Apr 2005
  • Beynon, Meurig, 2005. Computational support for realism in virtual environments. 11th International Conference on Human-Computer Interaction (HCI 2005), Las Vegas, USA, 22-27 Jul 2005
  • Beynon, Meurig, Harfield, Antony, 2005. Empirical modelling in support of constructionist learning : A case study from relational database theory. 5th IEEE International Conference on Advanced Learning Technologies, Kaohsiung, Taiwan, 05-08 Jul 2005, Published in 5th IEEE International Conference on Advanced Learning Technologies, Proceedings, pp. 396-398
  • Roe, Chris P., Beynon, Meurig, 2004. Computer support for constructionism in context. IEEE International Conference on Advanced Learning Technologies (ICALT 2004), Joensuu, Finland, 30 August - 1 September, 2004, Published in IEEE International Conference on Advanced Learning Technologies, 2004. Proceedings, pp. 216-220
  • Beynon, Meurig, Bhalerao, Abhir, Roe, Chris P., Ward, Ashley, 2003. A computer-based environment for the study of relational query languages. The Teaching, Learning and Assessment in Databases Workshop, Coventry, UK, 14 Jul 2003, pp. 104-108
  • Roe, Chris P., Beynon, Meurig, 2002. Empirical modelling principles to support learning in a cultural context. 1st International Conference on Educational Technology in Cultural Context, Joensuu, Finland, 2-3 Sep 2002, pp. 151-172
  • Roe, Chris P., Beynon, Meurig, Fischer, Carlos N., 2001. Empirical modelling for the conceptual design and use of products. International Conference on Simulation and Multimedia in Engineering Education, Phoenix, Arizona, 7-11 Jan 2001, pp. 27-32
  • Evans, M., Beynon, Meurig, Fischer, Carlos N., 2001. Empirical modelling for the logistics of rework in the manufacturing process. 16th Brazilian Congress of Mechanical Engineering, Minas Gerais, Brazil, pp. 226-234
  • Fischer, Carlos N., Beynon, Meurig, 2001. Empirical modelling of products. International Conference on Simulation and Multimedia in Engineering Education, Phoenix, Arizona, 7-11 Jan 2001, pp. 20-26
  • Beynon, Meurig, 2001. Liberating the computer arts. 1st International Conference on Digital and Academic Liberty of Information (DALI 2001), Aizu, Japan
  • Beynon, Meurig, Rasmequan, Suwanna, Russ, Steve, 2000. An experience-based approach to decision support systems. IFIP Working Group 8.3, Working Conference on Decision Support Through Knowledge Management, Stockholm, Sweden, 9-11 July 2000
  • Chen, Yih-Chang, Russ, Steve, Beynon, Meurig, 2000. Empirical modelling for business process reengineering : an experience-based approach. Perspective in Business Informatics Research (BIR 2000), Rostock, Germany, 31 Mar - 1 Apr 2000
  • Beynon, Meurig, Maad, Soha, 2000. Integrated environments for virtual collaboration : an empirical modelling perspective. 5th World Conference On Integrated Design & Process Technology, Texas, USA, 4-5 Jun 2000
  • Chen, Yih-Chang, Russ, Steve, Beynon, Meurig, 2000. Participative process modelling. IEEE International Conference on Systems, Man and Cybernetics, Nashville, TN, 08-11 Oct 2000, Published in 2000 IEEE International Conference on Systems, Man, and Cybernetics, pp. 619-624
  • Beynon, Meurig, Ward, Ashley, Maad, Soha, Wong, Allan, Rasmequan, Suwanna, Russ, Steve, 2000. The temposcope : a computer instrument for the idealist timetabler. 3rd international conference on the practice and Theory of Automated Timetabling, Konstanz, Germany, 16-18 Aug 2000, pp. 153-175
  • Beynon, Meurig, Rasmequan, Suwanna, Russ, Steve, 2000. The use of interactive situation models for the development of business solutions. Perspective in Business Informatics Research (BIR 2000), Rostock, Germany, 31 Mar - 1 Apr 2000
  • Beynon, Meurig, Maad, Soha, 1999. Empirical modelling of real life financial systems : the need for integration of enabling tools and technologies. The Fourth World Conference on Integrated Design & Process Technology, Kusadasi, Turkey, 27 Jun - 2 Jul 1999
  • Beynon, Meurig, Beynon, Will, 2012. Construals as a complement to intelligent tutoring systems in medical education. University of Warwick. Department of Computer Science
  • Pope, N. W., Beynon, Meurig, 2011. Cadence and the empirical modelling conceptual framework : a new perspective on modelling state-as-experienced. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Chan, Zhan En, 2009. Computing for construals in distributed participatory design : principles and tools. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Russ, Steve, 2006. Redressing the past : liberating computing as an experimental science. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Harfield, Antony, 2005. Empirical modelling in support of constructionism : a case study. University of Warwick. Department of Computer Science
  • Sun, Pi-Hwa, Russ, Steve, Chen, Y. C., Beynon, Meurig, 1999. Cultivating requirements in a situated requirements engineering process. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Cartwright, Richard, Rungrattanaubol, Jaratsri, Sun, Pi-Hwa, 1999. Interactive situation models for systems development. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Rungrattanaubol, Jaratsri, Sun, Pi-Hwa, Wright, Amanda, 1998. Explanatory models for open-ended human-computer interaction. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Sun, Pi-Hwa, 1998. Interactive situation models for program comprehension. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1998. Modelling state in mind and machine. University of Warwick. Department of Computer Science
  • Allderidge, James, Beynon, Meurig, Cartwright, Richard, Yung, Yun Pui, 1997. Enabling technologies for empirical modelling in graphics. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Cartwright, Richard, Cartwright, Alan, Yung, Yun Pui, 1996. Abstract geometry for design in an empirical modelling context. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Ness, Paul Edward, Russ, Steve, 1996. Worlds before and beyond words. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Cartwright, Alan, Yung, Yun Pui, 1995. Databases from an agent-oriented perspective. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Russ, Steve, 1994. Empirical modelling of requirements. University of Warwick. Department of Computer Science
  • Farkas, Monica, Beynon, Meurig, Yung, Yun Pui, 1993. Agent-oriented modelling for a billiards simulation. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1992. Programming principles for the semantics of the semantics of programs. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Russ, Steve, 1992. The interpretation of states : a new foundation for computation?. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Slade, Mike, Yung, Yun Pui, 1990. Protocol specification in concurrent systems software development. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Russ, Steve, Slade, M. D., Yung, Yun Pui, Yung, Y. W., 1989. Definitive principles and the specification of software. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1989. Definitive programming for parallelism. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Norris, M. T., Russ, Steve, Slade, M. D., Yung, Yun Pui, Yung, Y. W., 1989. Software construction using definitions : an illustrative example. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Russ, Steve, 1989. The development and use of variables in mathematics and computer science. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Norris, M. T., Slade, M. D., 1988. Definitions for modelling and simulating concurrent systems. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1988. Evaluating definitive principles for interaction in graphics. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Slade, M. D., Yung, Y. W., 1988. Parallel computation in definitive models. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1987. Definitive principles for interactive graphics. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Yung, Y. W., 1987. Implementing a definitive notation for interactive graphics. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1987. Monotone Boolean functions as combinatorially piecewise linear maps. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1986. ARCA : a notation for displaying and manipulating combinatorial diagrams. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Angier, David, Bissell, Tim, Hunt, Steve, 1986. DoNaLD : a line-drawing system based on definitive principles. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1986. The LSD notation for communicating systems. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Buckle, John Francis, 1985. Computation equivalence and replaceability in finite algebras. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1984. Monotone Boolean functions computable by planar circuits. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1984. Replaceability and computational equivalence in finite distributive lattices. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1983. A definition of the ARCA notation. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1982. Coset enumeration as closure computation. University of Warwick. Department of Computer Science
  • Beynon, Meurig, Spaltenstein, N., 1982. The computation of green functions of finite chevalley groups of type En (n=6,7,8). University of Warwick. Department of Computer Science
  • Beynon, Meurig, Iliopoulos, C. S. (Costas S.), 1981. Gauss' algorithm for the solution of quadratic diophantine equations. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1981. On Raney's binary encoding for continued fractions, generalisations of Pell's Equation, and the theory of factorisation. University of Warwick. Department of Computer Science
  • Beynon, Meurig, 1978. On the structure of free finite state machines. University of Warwick. Department of Computer Science
Title Funder Award start Award end
Making construals as a new digital skill for creating interactive open educational resources (CONSTRUIT!) European Commission 01 Sep 2014 31 Aug 2017
Data Management for the JAM2 Project AP1 BBC 05 Aug 2002 01 Oct 2002