Meurig Beynon

Job Title

Associate Professor (Reader)

Department

Computer Science

Phone

024 7652 3089

W.M.Beynon@warwick.ac.uk

Web Link

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.

Beynon, Meurig, 2009. Constructivist computer science education reconstructed. Innovations in Teaching and Learning in Information and Computer Sciences, Vol.8 (No.2), pp. 73-90
Beynon, Meurig, Russ, Steve, 2008. Experimenting with computing. Journal of Applied Logic, 6 (4), pp. 476-489
Beynon, Meurig, Harfield, Antony, 2007. Lifelong learning, empirical modelling and the promises of constructivism. Journal of Computers, 2 (3), pp. 43-55
Beynon, Meurig, Russ, Steve, McCarty, Willard, 2006. Human computing : modelling with meaning. Literary and Linguistic Computing, 21 (2), pp. 141-157
Beynon, Meurig, 2005. Radical empiricism, empirical modelling and the nature of knowing. Pragmatics and Cognition, 13 (3), pp. 615-646
Beynon, Meurig, Rasmequan, Suwanna, Russ, Steve, 2002. A new paradigm for computer-based decision support. Decision Support Systems, 33 (2), pp. 127-142
Beynon, Meurig, Maad, Soha, 2002. Empirical modelling of real life financial systems : the need for integration of enabling tools and technologies. Journal of Integrated Design and Process Science, 6 (1), pp. 43-58

Beynon, Meurig, Beynon, Will, 2012. Mediating intelligence through observation, dependency and agency in making construals of malaria. In Cerr, Stefano A.; Clancey, William J.; Papdourakis, Giorgos; Panourgia, Kitty (eds.), Intelligent Tutoring Systems : 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings, Berlin Heidelberg, Springer-Verlag, pp. 664-665
Beynon, Meurig, 2011. From formalism to experience: a Jamesian perspective on music, computing, and consciousness. In Clarke, David; Clarke, Eric (eds.), Music and consciousness: philosophical, psychological, and cultural perspectives, Oxford, Oxford University Press, pp. 157-178
Fernandes, K., Raja, V., Keast, J., Beynon, Meurig, Chan, P. S, Joy, Mike, 2002. Business and IT Perspectives on AMORE : A methodology using object-orientation in reengineering enterprises. In Henderson, P. (ed.), Systems Engineering for Business Process Change: Collected Papers from the EPSRC Research Program, London, Springer, pp. 274-297
Maad, Soha, Beynon, Meurig, Garbaya, S., 2001. Realising virtual trading : what price virtual reality?. In Smith, M. J.; Salvendy, G.; Harris, D.; Koubek, R. J. (eds.), Usability Evaluation and Interface Design: Cognitive Engineering, Intelligent Agents and Virtual Reality, CRC Press, pp. 1007-1011
Beynon, Meurig, Ch'en, Yih-Chang, Hseu, Hsing-Wen, Maad, Soha, Rasmequan, Suwanna, Roe, Chris P., Rungrattanaubol, Jaratsri, Russ, Steve, Ward, Ashley, Wong, Allan, 2001. The computer as instrument. In Beynon, Meurig; Nehaniv, C. L.; Dautenhahn, K. (eds.), Cognitive Technology: instruments of mind, Springer-Verlag, pp. 476-489
Beynon, Meurig, Roe, Chris P., Ward, Ashley, Wong, Allan, 2001. Interactive situation models for cognitive aspects of user-artefact interaction. In Beynon, Meurig; Nehaniv, Chrystopher L., 1963-; Dautenhahn, Kerstin (eds.), Cognitive Technology : instruments of mind, Berlin ; London, Springer-Verlag, pp. 356-372

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
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
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
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
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, 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
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, 2007. Visualisation using empirical modelling principles and tools. AHRC ICT Methods Network Expert Workshop, Birmingham, UK, 19 June, 2007
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, 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
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
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, 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, 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, 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
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, 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
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
Beynon, Meurig, 2001. Liberating the computer arts. 1st International Conference on Digital and Academic Liberty of Information (DALI 2001), Aizu, Japan
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, 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, 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
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
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, 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, 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
Beynon, Meurig, Cartwright, Richard, Rungrattanaubol, Jaratsri, Sun, Pi-Hwa, 1999. Interactive situation models for systems development. 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, 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
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
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, Russ, Steve, 1992. The interpretation of states : a new foundation for computation?. 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, Slade, Mike, Yung, Yun Pui, 1990. Protocol specification in concurrent systems software development. 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., 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, 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, Slade, M. D., Yung, Y. W., 1988. Parallel computation in definitive models. 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, Norris, M. T., Slade, M. D., 1988. Definitions for modelling and simulating concurrent systems. 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, 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, 1986. The LSD notation for communicating systems. 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, 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, 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, 1982. Coset enumeration as closure computation. 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, Iliopoulos, C. S. (Costas S.), 1981. Gauss' algorithm for the solution of quadratic diophantine equations. 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 Sept 2014	31 Aug 2017
Data Management for the JAM2 Project AP1	BBC	05 Aug 2002	01 Oct 2002

Useful links