People

Dr Chris Fox

Reader
School of Computer Science and Electronic Engineering (CSEE)
Dr Chris Fox
  • Email

  • Telephone

    +44 (0) 1206 872576

  • Location

    5A.528, Colchester Campus

Profile

Biography

(Note the web page is automatically generated from a university database. Please see personal website for research and links to papers.) Subjects Taught: formal semantics of natural language; logic; semantics of programming languages; formal methods; languages & compilers; fundamentals of computer science; artificial intelligence; discrete mathematics; data structures & algorithms; relational databases; testing & maintenance. Supervised/cosupervised ten PhD students. Contributed to raising circa £7.5M in research grants.

Appointments

University of Essex

  • Director, Human Language Technology Group, University of Essex (10/2017 - 7/2019)

  • President, UCU, University of Essex (6/2015 - 6/2017)

  • Co-chair, Joint Negotiating Committee, University of Essex (6/2015 - 6/2017)

  • Postgraduate Director (R), CSEE, University of Essex (8/2013 - 10/2014)

  • Chair, PG Exam Board, Linguistics, University of Essex (10/2011 - 11/2012)

  • Postgraduate Director (R), CSEE, University of Essex (8/2011 - 12/2011)

  • Lead, External Periodic Review (PG), Computer Science, University of Essex (10/2006 - 7/2007)

  • Postgraduate Director (T&R), Computer Science, University of Essex (8/2006 - 7/2007)

  • Joint Validation Panel for Computer Science, University of Essex & University of East Anglia (1/2008 - 9/2008)

  • Senate, University of Essex (6/2004 - 7/2008)

  • READER, University of Essex (9/2003 - present)

  • Information Systems Strategy Committee, University of Essex (1/2002 - 7/2005)

  • Senior Lecturer, University of Essex (1/1/2002 - 8/2003)

  • Senior Research Officer, University of Essex (10/1994 - 1/1996)

  • Senior Research Officer, Computer Science, University of Essex (10/1990 - 9/1991)

  • Senior Research Officer, Language and Linguistics, University of Essex (9/1989 - 10/1990)

  • Senior Management Team, HRBDT, HRC/Law, University of Essex (10/2015 - present)

Other academic

  • External Examiner, Open University (10/2013 - 9/2016)

  • Consultant, Module Development, Open University (1/1/2011 - 1/1/2013)

  • Consultant, External Degree Programmes, University of London (10/2003 - 9/2007)

  • Consultant, DaimlerChrysler (10/2001 - 9/2002)

  • Lecturer, King's College London (9/2000 - 1/1/2002)

  • Lecturer, Goldsmiths College (1/1/1996 - 8/2000)

  • Research Fellow, Universitaet des Saarlandes (9/1993 - 8/1994)

Research and professional activities

Research interests

Meaning, Methodology and Metaphysics.

My primary research interests lie in the area of formal seman­tics and the philo­sophy of lang­uage. I also have inter­ests in program analysis, parti­cu­larly in human compre­hension of computer programs, and process model­ling. Much of my work in these last two areas exploits ideas and tech­niques from language analy­sis. I also have an interest in the uses and abuses of tech­nology in the context of human and humani­tarian rights. Please see personal website for more details of my research, and links to papers.

Publications

Journal articles (22)

Fox, C. and Feis, G., (2018). ‘Ought implies Can’ and the law. Inquiry. 61 (4), 370-393

El-Haj, M., Kruschwitz, U. and Fox, C., (2015). Creating language resources for under-resourced languages: methodologies, and experiments with Arabic. Language Resources and Evaluation. 49 (3), 549-580

Alhindi, A., Kruschwitz, U., Fox, C. and Albakour, M-D., (2015). Profile-Based Summarisation for Web Site Navigation. ACM Transactions on Information Systems. 33 (1), 1-39

Alhindi, A., Kruschwitz, U., Fox, C. and Albakour, M., (2015). Profile-Based Summarisation for Web Site Navigation. ACM Transactions on Information Systems. 33 (1), 1-39

Fox, C. and Lappin, S., (2014). Type-theoretic logic with an operational account of intensionality. Synthese

Fox, C., (2012). Imperatives: a Judgemental Analysis. Studia Logica. 100 (4), 879-905

Fox, C., (2012). Obligations and Permissions. Language and Linguistics Compass. 6 (9), 593-610

Fox, C. and Lappin, S., (2010). Expressiveness and Complexity in Underspecified Semantics. Linguistic Analysis. 36 (1-4), 385-417

Fernandes, M., Fox, C. and Lappin, S., (2008). Lambda Calculus, Type Theory and Natural Language II. Journal of Logic and Computation. 18 (12)

Hierons, RM., Harman, M. and Fox, C., (2005). Branch-Coverage Testability Transformation for Unstructured Programs. The Computer Journal. 48 (4), 421-436

Danicic, S., Daoudi, M., Fox, C., Harman, M., Hierons, RM., Howroyd, JR., Ourabya, L. and Ward, M., (2005). ConSUS: a light-weight program conditioner. Journal of Systems and Software. 77 (3), 241-262

Fox, C., (2005). Underspecified Interpretations in a Curry-typed Representation Language. Journal of Logic and Computation. 15 (2), 131-143

Danicic, S., Fox, C., Harman, M., Hierons, R., Howroyd, J. and Laurence, MR., (2005). Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. The Computer Journal. 48 (6), 737-748

Fernandez, M., Fox, C. and Lappin, S., (2005). Lambda Calculus, Type Theory and Natural Language I. Journal of Logic and Computation. 15 (3)

Fox, C., Danicic, S., Harman, M. and Hierons, RM., (2004). CONSIT: a fully automated conditioned program slicer. Software: Practice and Experience. 34 (1), 15-46

Fox, C., (2004). An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics. Logic Journal of IGPL. 12 (2), 135-168

Hierons, R., Harman, M., Fox, C., Ouarbya, L. and Daoudi, M., (2002). Conditioned slicing supports partition testing. Software Testing, Verification and Reliability. 12 (1), 23-28

Fox, CJ. and Badica, C., (2002). Design and Implementation of a Business Process Representation Module. Advances in Electrical and Computer Engineering. 2 (1), 38-45

Fox, CJ. and Badica, C., (2002). Business Process Modeling in INSPIRE Using Petri Nets. Transactions on Automatic Control and Computer Science. 47 (2), 41-46

Fox, CJ., (1994). Existence Presuppositions and Category Mistakes. Acta Linguistica Hungarica. 42, 325-325

Fox, CJ., De Roeck, AN., Lowden, BGT. and Walls, BR., (1992). Modal Reasoning in Relational Systems. Journal of Database Technology. 4 (4), 235-244

Fox, CJ., De Roeck, AN., Lowden, BGT. and Walls, BR., (1992). An Approach to Paraphrasing Logical Query Languages in English. Journal of Database Technology. 4 (4), 227-233

Books (6)

Lappin, S. and Fox, C., (2015). The Handbook of Contemporary Semantic Theory, 2nd Edition. Wiley. 978-0-470-67073-6

Clark, A., Fox, C. and Lappin, S., (2010). Handbook of Computational Linguistics and Natural Language Processing. Wiley-Blackwell. 9781405155816

Fox, C. and Lappin, S., (2008). Foundations of Intensional Semantics. John Wiley & Sons. 0470775297. 9780470775295

Fox, C., (2000). The Ontology of Language Properties, Individuals and Discourse. Center for the Study of Language and Information Publications. 1575862344. 9781575862347

Fox, C., (2000). Introduction to Computing. University of London

Fox, C., (1997). Artificial Intelligence. University of London

Book chapters (11)

Fox, C., (2015). The Semantics of Imperatives. In: The Handbook of Contemporary Semantic Theory, 2nd Edition. Editors: Fox, C. and Lappin, S., . Wiley. 978-0-470-67073-6

Fox, C., (2014). Curry-Typed Semantics in Typed Predicate Logic. In: The Logica Yearbook 2013. Editors: Dancak, M. and Puncochar, V., . College Publications. 1848901445

Fox, C., (2014). The Meaning of Formal Semantics. In: Semantics and Beyond Philosophical and Linguistic Inquiries. Editors: Stalmaszczyk, P., . De Gruyter. 85- 108. 978-3-11-035438-6

Fox, C., (2013). Axiomatising Questions. In: The Logica Yearbook 2012. Editors: Puncochar, V. and Svarny, P., . College Publications. 1-84890-110-0. 978-1-84890-110-0

Fox, C. and Turner, R., (2012). In Defense of Axiomatic Semantics. In: Philosophical and Formal Approaches to Linguistic Analysis. Editors: Stalmaszczyk, P., . Ontos Verlag. 9783868381429

Fox, CJ., El-Haj, M. and Kruschwitz, U., (2011). Experimenting with Automatic Text Summarization for Arabic. In: Human Language Technology. Editors: Vetulani, Z., . Springer

Fox, C., (2010). Computational Semantics. In: The Handbook of Computational Linguistics and Natural Language Processing. Editors: Clark, A., Fox, C. and Lappin, S., . John Wiley & Sons. 9781118347188

Fox, C., (2009). The Good Samaritan and the Hygienic Cook: A Cautionary Tale About Linguistic Data. In: Philosophy of Language and Linguistics, Volume I: The formal turn. Editors: Stalmaszczyk, P., . Ontos Verlag. 103- 118. 9783868380705

Fox, CJ. and Lappin, S., (2007). Expressive Completeness and Computational Efficiency for Underspecified Representations. In: Festschrift for Robin Cooper. Editors: Borin, L. and Larsson, S.,

Fox, CJ. and Lappin, S., (2005). Polymorphic Quantifiers and Underspecification in Natural Language. Editors: Artemov, S., Barringer, H., d'Avila Garcez, AS., Lamb, LC. and Woods, J.,

Fox, CJ., (1998). Plurals and mass terms in property theory. In: Plurality and Quantification. Editors: Hamm, F. and Hinrichs, E., . Kluwer. 113- 113

Conferences (52)

Fox, C. and Lappin, S., Generalised Quantifiers and Underspecified Scope Relations in a First-Order Representation Language

Zimmerman, S., Fox, C. and Kruschwitz, U., (2019). Improving hate speech detection with deep learning ensembles

Zimmerman, S., Thorpe, A., Fox, C. and Kruschwitz, U., (2019). Privacy Nudging in Search

Zimmerman, S., Thorpe, A., Fox, C. and Kruschwitz, U., (2019). Investigating the Interplay Between Searchers' Privacy Concerns and Their Search Behavior

Poesio, M., Alhelbawy, A., Fox, C. and Kruschwitz, U., (2016). Exploiting social media to address fundamental human rights issues

Alarfaj, F., Kruschwitz, U. and Fox, C., (2015). Experiments with Query Expansion for Entity Finding

Sutcliffe, R., Fox, C., Root, DL., Hovy, E. and Lewis, R., (2015). The C@merata Task at MediaEval 2015: Natural Language Queries on Classical Music Scores

Sutcliffe, R., Crawford, T., Fox, C., Root, DL. and Hovy, E., (2015). Relating Natural Language Text to Musical Passages

Alarfaj, F., Kruschwitz, U. and Fox, C., (2014). Exploring Adaptive Window Sizes for Entity Retrieval

Sutcliffe, R., Crawford, T., Fox, C., Root, DL. and Hovy, E., (2014). The C@merata Task at MediaEval 2014: Natural Language Queries on Classical Music Scores

Badica, C. and Fox, C., (2014). Hybrid IDEF0/IDEF3 modelling of business processes: semantics and expressiveness

Alhindi, A., Kruschwitz, U. and Fox, C., (2013). A Pilot Study on Using Profile-Based Summarisation for Interactive Search Assistance

Alhindi, A., Kruschwitz, U. and Fox, C., (2013). Site search using profile-based document summarisation

Alarfaj, F., Kruschwitz, U. and Fox, C., (2013). An adaptive window-size approach for expert-finding

El-Haj, M., Kruschwitz, U. and Fox, C., (2011). Exploring Clustering for Multi-Document Arabic Summarisation

El-Haj, M., Kruschwitz, U. and Fox, C., (2011). University of Essex at the TAC 2011 Multilingual Summarisation Pilot

El-Haj, M., Kruschwitz, U. and Fox, C., (2011). Multi-Document Arabic Text Summarisation

Ceska, Z. and Fox, C., (2011). The Influence of Text Pre-processing on Plagiarism Detection

Antai, R., Fox, C. and Kruschwitz, U., (2011). The Use of Latent Semantic Indexing to Cluster Documents into Their Subject Areas

Fox, C. and Turner, R., (2011). A semantic method

El-Haj, M., Kruschwitz, U. and Fox, C., (2010). Using Mechanical Turk to Create a Corpus of Arabic Summaries

El-Haj, M., Kruschwitz, U. and Fox, C., (2009). Experimenting with Automatic Text Summarization for Arabic

Fox, C., (2009). Obligations, permissions and transgressions: An alternative approach to deontic reasoning

Luangsodsai, A. and Fox, C., (2009). Statechart Slicing

Badica, C., Teodorescu, M., Spahiu, C., Badica, A. and Fox, C., (2005). Integrating role activity diagrams and hybrid IDEF for business process modeling using MDA

Fox, C. and Lappin, S., (2005). Achieving Expressive Completeness and Computational Efficiency with Underspecified Scope Representations

Badica, C. and Fox, C., (2004). Verification of multiple input/multiple output business processes

Fox, C. and Perez-Ramirez, M., (2004). Agents Interpreting Imperative Sentences

Fox, C. and Perez-Ramirez, M., (2004). The Role of Imperatives in Inference: Agents and Actions

Fox, C. and Lappin, S., (2003). Type-Theoretic Approach to Anaphora and Ellipsis

Fox, C. and Lappin, S., (2003). Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing

Fox, C. and Perez-Ramirez, M., (2003). An Axiomatisation of Imperatives using Hoare Logic

Fox, C. and Perez-Ramirez, M., (2003). Imperatives as Obligatory and Permitted Actions

Daoudi, M., Ouarbya, L., Howroyd, J., Danicic, S., Harman, M., Fox, C. and Ward, MP., (2002). ConSUS: a scalable approach to conditioned slicing

Ouarbya, L., Danicic, S., Daoudi, M., Harman, M. and Fox, C., (2002). A denotational interprocedural program slicer

Harman, M., Lin Hu, Hierons, R., Fox, C., Danicic, S., Wegener, J., Sthamer, H. and Baresel, A., (2002). Evolutionary testing supported by slicing and transformation

Fox, C. and Lappin, S., (2002). First-order Curry-typed Semantics for Natural Language

Harman, M., Fox, C., Hierons, R., Lin Hu, Danicic, S. and Wegener, J., (2002). VADA: a transformation-based system for variable dependence analysis

Fox, C., Lappin, S. and Pollard, C., (2002). Intensional First-Order Logic with Types

Fox, C., Lappin, S. and Pollard, C., (2002). A Higher-Order Fine-grained Logic for Intensional Semantics

Fox, C. and Badica, C., (2002). Modelling and Verification of Business Processes

Harman, M., Hierons, R., Danicic, S., Howroyd, J., Laurence, M. and Fox, C., (2001). Node coarsening calculi for program slicing

Harman, M., Hierons, R., Fox, C., Danicic, S. and Howroyd, J., (2001). Pre/post conditioned slicing

Danicic, S., Fox, C., Harman, M. and Hierons, R., (2001). Backward conditioning: a new program specialisation technique and its application to program comprehension

Fox, C. and Lappin, S., (2001). A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations

Danicic, Fox, Harman and Hierons, (2000). ConSIT: a conditioned program slicer

Harman, M., Fox, C., Hierons, R., Binkley, D. and Danicic, S., (1999). Program simplification as a means of approximating undecidable propositions

Fox, CJ., (1994). Discourse Representation, Type Theory and Property Theory

Fox, CJ., (1993). Individuals and Their Guises: a Property-theoretic Analysis

Fox, CJ., Ball, RAJ., Brown, EK., De Roeck, AN., Groefsema, M., Obeid, N. and Turner, R., (1991). Helpful Answers to Modal and Hypothetical Questions

De Roeck, AN., Fox, CJ., Lowden, BGT., Turner, R. and Walls, BR., (1991). A Natural Language System Based on Formal Semantics

De Roeck, AN., Fox, CJ., Lowden, BGT., Turner, R. and Walls, BR., (1991). A Formal Approach to Translating English into SQL

Reports and Papers (12)

Ng, V. and Fox, C., (2018). Big Data: Definitions and Reflections

Bal, HM., Dubberley, S. and Fox, C., (2018). Technology in Support of Humanitarian Work: An overview of Opportunities and Challenges in Project Design

Cooper, R., Crouch, R., Eijck, JV., Fox, C., Genabith, JV., Jaspars, J., Kamp, H., Pinkal, M., Milward, D., Poesio, M. and Pulman, S., (1996). Evaluation of Previous Work, FraCaS: A Framework for Computational Semantics, FraCaS deliverable D13

Cooper, R., Crouch, R., Eijck, JV., Fox, C., Genabith, JV., Jaspars, J., Kamp, H., Pinkal, M., Milward, D., Poesio, M. and Pulman, S., (1996). A Strategy for Building a Framework, FraCaS: A Framework for Computational Semantics, FraCaS deliverable D14

Cooper, R., Crouch, R., Eijck, JV., Fox, C., Genabith, JV., Jaspars, J., Kamp, H., Pinkal, M., Milward, D., Poesio, M. and Pulman, S., (1996). Building the Framework, FraCaS: A Framework for Computational Semantics, FraCaS deliverable D15

Cooper, R., Crouch, R., Eijck, JV., Fox, C., Genabith, JV., Jaspars, J., Kamp, H., Pinkal, M., Milward, D., Poesio, M. and Pulman, S., (1996). Using the Framework, FraCaS: A Framework for Computational Semantics, FraCaS deliverable D16

Cooper, R., Crouch, R., Eijck, JV., Fox, C., Genabith, JV., Jaspars, J., Kamp, H., Pinkal, M., Milward, D., Poesio, M. and Pulman, S., (1995). Harmonizing the Approaches, FraCaS: A Framework for Computational Semantics, FraCaS deliverable D7

Cooper, R., Crouch, R., Eijck, JV., Fox, C., Genabith, JV., Jaspars, J., Kamp, H., Pinkal, M., Milward, D., Poesio, M. and Pulman, S., (1995). Describing the Approaches, FraCaS: A Framework for Computational Semantics , FraCaS deliverable D8

Cooper, R., Crouch, R., Eijck, JV., Fox, C., Genabith, JV., Jaspars, J., Kamp, H., Pinkal, M., Milward, D., Poesio, M. and Pulman, S., (1995). The State of the Art in Computational Semantics: Evaluating the Descriptive Capabilities of Semantic Theories, FraCaS: A Framework for Computational Semantics, FraCaS deliverable D9

Cooper, R., Crouch, R., Eijck, JV., Fox, C., Genabith, JV., Jaspars, J., Kamp, H., Pinkal, M., Milward, D., Poesio, M. and Pulman, S., (1995). Evaluating the State of the Art, FraCaS: A Framework for Computational Semantics, FraCaS deliverable D10

Cooper, R., Crouch, R., Eijck, JV., Fox, C., Genabith, JV., Jaspars, J., Kamp, H., Pinkal, M., Milward, D., Poesio, M. and Pulman, S., (1995). The Bluffer’s Guide to Computational Semantics, FraCaS: A Framework for Computational Semantics

Fox, C., (1994). Episodes, Characterising Sentences and Causes

Grants and funding

2015

Human Rights and Information Technology in the Era of Big Data

Economic & Social Research Council

2014

67% - To Design & Implement New Systems to Support Civilian-Led

Technology STrategy Board

33% - To Design & Implement New Systems to Support Civilian-Led

Monitory Rights Group

Contact

foxcj@essex.ac.uk
+44 (0) 1206 872576

Location:

5A.528, Colchester Campus

More about me
Personal web pages, with links to papers.: http://chris.foxearth.org/