PhD Family Tree for Alan Bundy

Students: All None
Details: All None
Alan Bundy (1971) Students
Alan Bundy
http://homepages.inf.ed.ac.uk/bundy/
Thesis: The Metatheory of the Elementary Equation Calculus
Supervisors: Reuben Goodstein
Students: (Details, No Details)
  1. Michael Liardet (MPhil, 1979) Help
    Thesis: Automatic Theorem Proving in Vector Algebra and Euclidean Geometry
    Supervisors: Alan Bundy
  2. Christopher Mellish (1981) Students
    Christopher Mellish
    Thesis: Coping with Uncertainty: Noun Phrase Interpretation and Early Semantic Analysis
    Supervisors: Alan Bundy
    Students: (Details, No Details)
    1. Roger Evans (1987) Students
      Roger Evans
      Thesis: Theoretical and Computational Interpretations of GPSG
      Supervisors: Christopher Mellish, Gerald Gazdar
      Students: (Details, No Details)
      1. Adam Kilgarriff (1992) Students
        Adam Kilgarriff
        Thesis: Polysemy
        Supervisors: Roger Evans, Gerald Gazdar
        Students: (Details, No Details)
        1. Carole Tiberius (2001)
          Carole Tiberius
          Thesis: Architectures for Multilingual Lexical Representation
          Supervisors: Gerald Gazdar, Roger Evans, Adam Kilgarriff
        2. Gabriela Cavaglia (2005)
          Thesis: Measuring the Homogeneity and Similarity of Language Corpora
          Supervisors: Adam Kilgarriff, Richard Power, John Carroll
      2. Clive Cox (?)
        Supervisors: Roger Evans
      3. Carole Tiberius (2001)
        Carole Tiberius
        Thesis: Architectures for Multilingual Lexical Representation
        Supervisors: Gerald Gazdar, Roger Evans, Adam Kilgarriff
      4. Daniel Paiva (2004)
        Thesis: Using Stylistic Parameters to Control a Natural Language Generation System
        Supervisors: Roger Evans
      5. Jon Herring (current student)
      6. Thapelo Otlogetswe (current student)
        Thapelo Otlogetswe
        Supervisors: Adam Kilgarriff, Roger Evans, Daan Prinsloo
      7. Jason Teeple (current student)
      8. Marina Santini (current student)
        Marina Santini
        Thesis: Identifying Genres on the Web
        Supervisors: Roger Evans
      9. Aylin Koca (current student)
        Aylin Koca
        Thesis: Interpreting Temporal/Eventual Information in Text for Automating TimeML Tagging
        Supervisors: Roger Evans, Sebastian Varges
    2. Thomas Khabaza (1989)
      Thesis: Towards AND/OR Parallel Logic Programming
      Supervisors: Christopher Mellish
    3. Rajiv Trehan (1989)
      Rajiv Trehan
      Thesis: An Investigation of Design and Execution Alternatives for the Committed Choice Non-Deterministic Logic Languages
      Supervisors: Christopher Mellish
    4. Jean Carletta (1992) Students
      Thesis: Risk Taking and Recovery in Task-Oriented Dialogue
      Supervisors: Christopher Mellish, Steve Isard
      Students: (Details, No Details)
      1. Kaska Porayska-Pomsta (2004)
        Kaska Porayska-Pomsta
        Thesis: Influence of Situational Context on Language Production: Modelling Teacher's Corrective Responses
        Supervisors: Christopher Mellish, Helen Pain, Jean Carletta
    5. Andrew Bowles (1992)
      Thesis: Detecting Prolog Programming Techniques Using Abstract Interpretation
      Supervisors: Christopher Mellish
    6. Robert Scott (1994)
      Thesis: Automatic Goal Distribution Strategies for the Execution of Committed Choice Logic Languages on Distributed Memory Parallel Computers
      Supervisors: Christopher Mellish
    7. Suresh Manandhar (1994) Students
      Suresh Manandhar
      Thesis: Relational Extensions to Feature Logic: Applications to Constraint Based Grammars
      Supervisors: Christopher Mellish
      Students: (Details, No Details)
      1. Enrique Alfonseca (2003) Students
        Enrique Alfonseca
        Thesis: An Approach for Automatic Generation of On-Line Information Systems Based on the Integration of Natural Language Processing and Adaptive Hypermedia Techniques
        Supervisors: Suresh Manandhar
        Students: (Details, No Details)
        1. Diana Perez (current student)
          Diana Perez
          Thesis: Computer Adaptive Assisted Assessment of Short Free-Text Answers: A Framework Based on Users' Profiles
          Supervisors: Enrique Alfonseca, Pilar Rodriguez
      2. Alistair Willis (2000) Students
        Thesis: An Efficient Treatment of Quantification in Underspecified Semantic Representations
        Supervisors: Suresh Manandhar
        Students: (Details, No Details)
        1. Francis Chantree (current student)
          Francis Chantree
          Thesis: Ambiguity Management in Natural Language Generation
          Supervisors: Anne De Roeck, Bashar Nuseibeh, Alistair Willis
      3. Stephen Watkinson (2002)
        Thesis: Learning Natural Language Syntax
        Supervisors: Suresh Manandhar
      4. Marco De Boni (2004)
        Marco De Boni
        Thesis: Relevance-Based Theoretical Foundation for Question Answering
        Supervisors: Suresh Manandhar
      5. Joanna Moy (current student)
      6. Jose Luis Jara-Valencia (current student)
      7. Thimal Jayasooriya (current student)
      8. Silvia Quarteroni (current student)
      9. Pierre Andrews (current student)
      10. Ioannis Klapaftis (current student)
    8. Sheila Rock (1996)
      Thesis: Understanding Natural Language about Multiple Eventualities and Continuous Eventualities
      Supervisors: Christopher Mellish, Robert Dale, Elisabet Engdahl
    9. Alistair Knott (1996) Students
      Alistair Knott
      Thesis: A Data-Driven Methodology for Motivating a Set of Coherence Relations
      Supervisors: Christopher Mellish, Robert Dale
      Students: (Details, No Details)
      1. Corrin Lakeland (current student)
        Supervisors: Alistair Knott
      2. Hayden Walles (current student)
        Supervisors: Alistair Knott
      3. Michael Liddle (current student)
        Supervisors: Alistair Knott
      4. Andrew Webb (current student)
        Supervisors: Alistair Knott
    10. Ching-Long Yeh (1996)
      Ching-Long Yeh
      Thesis: Generation of Anaphors in Chinese
      Supervisors: Christopher Mellish
    11. Jeremy Crowe (1997)
      Jeremy Crowe
      Thesis: Constraint-Based Event Recognition for Information Extraction
      Supervisors: Christopher Mellish
    12. Saad Al-Jabri (1997)
      Thesis: Generating Arabic Words from Semantic Descriptions
      Supervisors: Christopher Mellish
    13. Edward Carter (1997)
      Thesis: Quantitive Analysis of Hypertext Generation and Organisation Techniques
      Supervisors: Christopher Mellish
    14. Osama Zaki (MPhil, 1998)
      Thesis: The Translation of the Arabic Tenses to the English Tenses/Aspects
      Supervisors: Christopher Mellish
    15. Nicolas Nicolov (1999)
      Thesis: Approximate text generation from non-hierarchical representations in a declarative framework
      Supervisors: Christopher Mellish
    16. Hua Cheng (2002)
      Thesis: Modelling Aggregation Activated Interactions in Descriptive Text Generation
      Supervisors: Christopher Mellish
    17. Hasan Kamal (2002)
      Thesis: An ATMS-Based Architecture for Stylistics-Aware Text Generation
      Supervisors: Christopher Mellish
    18. Sebastian Varges (2003) Students
      Thesis: Instance-Based Natural Language Generation
      Supervisors: Christopher Mellish
      Students: (Details, No Details)
      1. Aylin Koca (current student)
        Aylin Koca
        Thesis: Interpreting Temporal/Eventual Information in Text for Automating TimeML Tagging
        Supervisors: Roger Evans, Sebastian Varges
    19. Kaska Porayska-Pomsta (2004)
      Kaska Porayska-Pomsta
      Thesis: Influence of Situational Context on Language Production: Modelling Teacher's Corrective Responses
      Supervisors: Christopher Mellish, Helen Pain, Jean Carletta
    20. John Atkinson (2004)
      John Atkinson
      Thesis: Semantically-Guided Evolutionary Knowledge Discovery from Texts
      Supervisors: Christopher Mellish
    21. Nikiforos Karamanis (2004)
      Nikiforos Karamanis
      Thesis: Entity Coherence for Descriptive Text Structuring
      Supervisors: Christopher Mellish, Jon Oberlander
    22. J Louise Finlayson (current student)
      J Louise Finlayson
      Supervisors: Christopher Mellish
    23. Xiantang Sun (current student)
      Xiantang Sun
      Supervisors: Christopher Mellish
    24. Jing Lin (current student)
      Jing Lin
      Supervisors: Christopher Mellish
  3. Christopher Miller (MPhil, 1982) Help
    Thesis: Analogy and Mathematical Reasoning: A Survey
    Supervisors: Alan Bundy
  4. Robert Milne (1983) Help
    Robert Milne
    Thesis: Resolving Lexical Ambiguity in a Deterministic Parser
    Supervisors: Alan Bundy
    Rob died in June 2005.
  5. Bernard Silver (1984) Help
    Thesis: Using Meta-Level Inference to Constrain Search and to Learn Strategies in Equation Solving
    Supervisors: Alan Bundy
  6. Martha Palmer (1985) Students
    Martha Palmer
    Thesis: Driving Semantics for Limited Domains
    Supervisors: Alan Bundy
    Students: (Details, No Details)
    1. Gan Kok Wee (1994)
      Thesis: Disambiguation of Chinese Word Boundaries
      Supervisors: Martha Palmer
    2. Wu Zhibiao (1995)
      Thesis: Fuzzy Matching for Accurate Lexical Selection
      Supervisors: Martha Palmer
    3. Fei Xia (2001)
      Thesis: Investigating the Relationships Between Grammars and TreeBanks for Natural Languages
      Supervisors: Martha Palmer, Aravind Joshi
    4. William Schuler (2003)
      William Schuler
      Thesis: Tractable Environment-Based Disambiguation
      Supervisors: Martha Palmer
    5. Hoa Trang Dang (2004)
      Thesis: Investigations into the Role of Lexical Semantics in Word Sense Disambiguation
      Supervisors: Martha Palmer
    6. Tom Morton (2005)
      Thesis: Using Semantic Relations to Improve Information Retrieval
      Supervisors: Martha Palmer
    7. Karin Kipper (2005)
      Karin Kipper
      Thesis: VerbNet: A Broad-Coverage, Comprehensive Verb Lexicon
      Supervisors: Martha Palmer
  7. Luis Jenkins (MPhil, 1986) Help
    Thesis: Logic Programming and VLSI
    Supervisors: Alan Bundy, Jane Hesketh, David Rees
  8. Richard O'Keefe (1987) Help
    Richard O'Keefe
    Thesis: Logic and Lattices for a Statistics Advisor
    Supervisors: Alan Bundy, Mike Uschold
  9. Lincoln Wallen (1987) Help
    Lincoln Wallen
    Thesis: Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics
    Supervisors: Alan Bundy, Jane Hesketh
  10. David Barker-Plummer (1988)
    David Barker-Plummer
    Thesis: Gazing: A Technique for Controlling the Use of Rewrite Rules
    Supervisors: Alan Bundy, Jane Hesketh
  11. Michael Harris (1988) Help
    Thesis: Computational Modelling of Transitive Inference: A Microanalysis of a Simple Form of Reasoning
    Supervisors: Alan Bundy, Brendan McGonigle
  12. Stephen Owen (1988) Help
    Thesis: Finding and Using Analogies to Guide Mathematical Proof
    Supervisors: Alan Bundy, Chris Miller
  13. Mary-Angela Papalaskari (1989)
    Mary-Angela Papalaskari
    Thesis: Minimal Consequence: A Semantic Approach to Reasoning with Incomplete Information
    Supervisors: Alan Bundy, Alan Smaill
  14. Frank van Harmelen (1989) Students
    Frank van Harmelen
    Thesis: On the Efficiency of Metalevel Inference
    Supervisors: Alan Bundy
    Students: (Details, No Details)
    1. Manfred Aben (1994)
      Manfred Aben
      Thesis: Formal Methods in Knowledge Engineering
      Supervisors: Frank van Harmelen
    2. John van den Elst (1996)
      John van den Elst
      Thesis: Knowledge Modelling for Program Supervision in Image Processing
      Supervisors: Frank van Harmelen
    3. Peter Lucas (1996) Students
      Thesis: Diagnostic Reasoning: Theoretical Foundations and Practical Applications
      Supervisors: Frank van Harmelen
      Students: (Details, No Details)
      1. Karin Schurink (2004)
        Supervisors: Peter Lucas
      2. Arjen Hommersom (current student)
      3. Ildiko Flesch (current student)
      4. Rasa Jurgelenaite (current student)
      5. Marcel van Gerven (current student)
      6. Stefan Visscher (current student)
        Supervisors: Peter Lucas
      7. Niels Peek (2000)
        Niels Peek
        Thesis: Decision-Theoretic Planning of Clinical Patient Management
        Supervisors: Peter Lucas
    4. Annette ten Teije (1997) Students
      Annette ten Teije
      Thesis: Automated Configuration of Problem Solving Methods in Diagnosis
      Supervisors: Frank van Harmelen
      Students: (Details, No Details)
      1. Perry Groot (2004)
        Perry Groot
        Thesis: A Theoretical and Empiral Investigation Into Approximate Methods for Symbolic Problem Solving
        Supervisors: Annette ten Teije, Frank van Harmelen
    5. Heiner Stuckenschmidt (2003)
      Heiner Stuckenschmidt
      Thesis: Ontology-based Information Sharing in Weakly Structured Environments
      Supervisors: Frank van Harmelen
    6. Perry Groot (2004)
      Perry Groot
      Thesis: A Theoretical and Empiral Investigation Into Approximate Methods for Symbolic Problem Solving
      Supervisors: Annette ten Teije, Frank van Harmelen
    7. Jeen Broekstra (2005)
      Jeen Broekstra
      Thesis: Storage, Querying and Inferencing for SemanticWeb Languages
      Supervisors: Frank van Harmelen
    8. Ronny Siebes (2005)
      Ronny Siebes
      Thesis: Semantic Search in Peer-to-Peer Networks
      Supervisors: Frank van Harmelen
    9. Marta Sabou (2005)
      Marta Sabou
      Thesis: Building Web Service Ontologies
      Supervisors: Frank van Harmelen
    10. Wouter van Atteveldt (current student)
      Wouter van Atteveldt
      Supervisors: Frank van Harmelen, Jan Kleinnijenhuis
    11. Marjolein van Gendt (current student)
      Marjolein van Gendt
      Supervisors: Frank van Harmelen
    12. Zharko Aleksovski (current student)
  15. Roberto Desimone (1989) Help
    Roberto Desimone
    Thesis: Learning Control Knowledge Within an Explanation-Based Learning Framework
    Supervisors: Alan Bundy
  16. Andrew Stevens (1990) Students
    Andrew Stevens
    Thesis: An Improved Method for the Mechanisation of Inductive Proof
    Supervisors: Alan Bundy, Don Sannella
    Students: (Details, No Details)
    1. Robert Smith (?)
      Supervisors: Andrew Stevens
    2. Jeffrey Ullman (?)
      Supervisors: Andrew Stevens
  17. Michael Uschold (1991)
    Michael Uschold
    Thesis: The Use of Typed Lambda Calculus for Comprehension and Construction for Simulation Models in the Domain of Ecology
    Supervisors: Alan Bundy, Bob Muetzelfeldt
  18. Toby Walsh (1991) Students
    Toby Walsh
    Thesis: A Theory of Abstraction
    Supervisors: Alan Bundy, Fausto Giunchiglia, Colin Phillips
    Students: (Details, No Details)
    1. Renato Busatto-Neto (1995) Help
      Thesis: The Use of Proof Planning in Normalization
      Supervisors: Alan Bundy, Toby Walsh
    2. Simon Colton (2000) Students
      Simon Colton
      Thesis: Automated Theory Formation in Pure Mathematics
      Supervisors: Alan Bundy, Toby Walsh
    3. Kostas Stergiou (2001)
      Thesis: Representation and Reasoning with Non-binary Constraints
      Supervisors: Toby Walsh
    4. Brahim Hnich (2003) Students
      Brahim Hnich
      Thesis: Function Variables for Constraint Programming
      Supervisors: Andreas Hamfelt, Toby Walsh
      Students: (Details, No Details)
      1. Emmanuel Hebrard (current student)
        Emmanuel Hebrard
        Thesis: Robust Constraint Programming
        Supervisors: Toby Walsh, Brahim Hnich
      2. Tomas Snäckerström (current student)
    5. Zeynep Kiziltan (2004)
      Zeynep Kiziltan
      Thesis: Symmetry Breaking Ordering Constraints
      Supervisors: Toby Walsh, Andreas Hamfelt
    6. Lyndon Drake (2005)
      Lyndon Drake
      Thesis: Automatic Generation of Implied Constraints in SAT
      Supervisors: Alan Frisch, Toby Walsh
    7. Emmanuel Hebrard (current student)
      Emmanuel Hebrard
      Thesis: Robust Constraint Programming
      Supervisors: Toby Walsh, Brahim Hnich
    8. Dan Sheridan (current student)
      Dan Sheridan
      Thesis: Model Checking via SAT
      Supervisors: Paul Jackson, Toby Walsh
  19. Peter Madden (1991) Help
    Thesis: Automated Program Transformation Through Proof Transformation
    Supervisors: Alan Bundy, Alan Smaill
  20. Jane Hesketh (1992)
    Jane Hesketh
    Thesis: Using Middle-Out Reasoning to Guide Inductive Theorem Proving
    Supervisors: Alan Bundy, Alan Smaill
  21. Helen Lowe (1993) Students Help
    Helen Lowe
    Thesis: The Application of Proof Plans to Computer Configuration Problems
    Supervisors: Alan Bundy, Stefek Zaba, Geraint Wiggins, Geraint Wiggins
    Helen died in July 2004.
    Students: (Details, No Details)
    1. Mike Jackson (1999)
      Thesis: Interacting with Semi-Automated Theorem Provers via Interactic Proof Critics
      Supervisors: Helen Lowe
    2. Jonathan Whittle (1999)
      Jonathan Whittle
      Thesis: The Use of Proofs-as-Programs to Build an Analogy-Based Functional Program Editor
      Supervisors: Alan Bundy, Helen Lowe, Richard Boulton
    3. Alex Blewitt (current student)
      Alex Blewitt
      Thesis: HEDGEHOG: Automatic Verification of Design Patterns in Java
      Supervisors: Alan Bundy, Richard Boulton, Helen Lowe, Ian Stark
  22. Ina Kraan (1994)
    Ina Kraan
    Thesis: Proof Planning for Logic Program Synthesis
    Supervisors: Alan Bundy, David Basin, Ian Green
  23. Jason Gallagher (1995) Help
    Thesis: Use of Proof Plans in Tactic Synthesis
    Supervisors: Alan Bundy, Andrew Ireland
  24. Weiru Liu (1995) Students
    Weiru Liu
    Thesis: Extended Incidence Calculus and Its Comparison with Related Theories
    Supervisors: Alan Bundy, Dave Robertson
    Students: (Details, No Details)
    1. Jie Cheng (1998)
      Jie Cheng
      Thesis: Learning Bayesian Networks from Data: an Information Theory Based Approach
      Supervisors: Weiru Liu
    2. Nigel Wells (1999)
      Thesis: Concurrent Network Emulation
      Supervisors: Kenny Adamson, Weiru Liu
    3. Xin Hong (2001)
      Thesis: Heuristic Knowledge Representation and Evidence Combination Parallelization
      Supervisors: Weiru Liu, Kenny Adamson
    4. Zhining Liao (2005)
      Thesis: Query Processing in Data Integration from a Multitude of Data Sources over the Internet
      Supervisors: Weiru Liu
    5. Guilin Qi (current student)
      Thesis: Fusion of Inconsistent and Uncertain Information Using Possibilistic Logic
      Supervisors: Weiru Liu
  25. Renato Busatto-Neto (1995) Help
    Thesis: The Use of Proof Planning in Normalization
    Supervisors: Alan Bundy, Toby Walsh
  26. Julian Richardson (1996) Students
    Julian Richardson
    Thesis: The Use of Proof Plans for Transformation of Functional Programs by Changes of Data Type
    Supervisors: Alan Bundy, Geraint Wiggins
    Students: (Details, No Details)
    1. Gerhard Wickler (1999)
      Gerhard Wickler
      Thesis: Using Expressive and Flexible Action Representations to Reason about Capabilities for Intelligent Agent Cooperation
      Supervisors: Austin Tate, Alan Bundy, Louise Pryor, Julian Richardson, Brian Drabble
    2. Stephen Cresswell (2001)
      Stephen Cresswell
      Thesis: Deductive Synthesis of Recursive Plans in Linear Logic
      Supervisors: Alan Smaill, Julian Richardson
    3. Alex Heneveld (current student)
  27. Ian Frank (1996)
    Ian Frank
    Thesis: Search and Planning under Incomplete Information - A Study using Bridge Card Play
    Supervisors: Alan Bundy, David Basin, Brian Drabble
  28. Francisco Cantú Ortiz (1997) Students
    Francisco Cantú Ortiz
    Thesis: Proof Planning for Automating Hardware Verification
    Supervisors: Alan Bundy, Alan Smaill, David Basin
    Students: (Details, No Details)
    1. Luis Eduardo Garza (2001)
      Thesis: Hybrid Systems Fault Diagnosis with a Probabilistic Logic Reasoning Framework
      Supervisors: Francisco Cantú Ortiz
    2. Ruben Morales Menendez (2003)
      Ruben Morales Menendez
      Thesis: Real-Time Monitoring and Diagnosis in Dyanamic Systems Using Particle Filtering Methods
      Supervisors: Francisco Cantú Ortiz, David Poole, Nando de Freitas
    3. Armando Robles (current student)
      Thesis: A Bayesian Inference Framework for User Profiling
      Supervisors: Francisco Cantú Ortiz, Salvador Acevedo
  29. Raul Monroy-Borja (1998) Students
    Raul Monroy-Borja
    Thesis: Planning Proofs of Correctness of CCS Systems
    Supervisors: Alan Bundy, Ian Green, Jane Hesketh, Andrew Ireland
    Students: (Details, No Details)
    1. Fernando Godinez-Delgado (2005)
      Thesis: Intrusion Detection Using Probabilistic Methods and Performance Enhancing Techniques
      Supervisors: Raul Monroy-Borja, Dieter Hutter
    2. Juan Carlos López Pimentel (current student)
      Thesis: On the Automated Correction of Faulty Security Protocols
      Supervisors: Raul Monroy-Borja
  30. Louise Dennis (1998) Students
    Louise Dennis
    Thesis: Proof Planning Coinduction
    Supervisors: Alan Bundy, Ian Green
    Students: (Details, No Details)
    1. Matthew Walton (current student)
  31. Mateja Jamnik (1998) Students
    Mateja Jamnik
    Thesis: Automating Diagrammatic Proofs of Arithmetic Arguments
    Supervisors: Alan Bundy, Ian Green
    Students: (Details, No Details)
    1. Daniel Winterstein (2004)
      Daniel Winterstein
      Thesis: Using Diagrammatic Reasoning for Theorem Proving in a Continuous Domain
      Supervisors: Alan Bundy, Corin Gurr, Mateja Jamnik
  32. Jonathan Whittle (1999)
    Jonathan Whittle
    Thesis: The Use of Proofs-as-Programs to Build an Analogy-Based Functional Program Editor
    Supervisors: Alan Bundy, Helen Lowe, Richard Boulton
  33. Gerhard Wickler (1999)
    Gerhard Wickler
    Thesis: Using Expressive and Flexible Action Representations to Reason about Capabilities for Intelligent Agent Cooperation
    Supervisors: Austin Tate, Alan Bundy, Louise Pryor, Julian Richardson, Brian Drabble
  34. Simon Colton (2000) Students
    Simon Colton
    Thesis: Automated Theory Formation in Pure Mathematics
    Supervisors: Alan Bundy, Toby Walsh
  35. Predrag Janicic (2001)
    Predrag Janicic
    Thesis: Building Decision Procedures into Theorem Provers
    Supervisors: Alan Bundy, Z. Mijajlovic
  36. Jeremy Gow (2004)
    Jeremy Gow
    Thesis: The Dynamic Creation of Induction Rules Using Proof Planning
    Supervisors: Alan Bundy, Jacques Fleuriot, Ian Green
  37. Graham Steel (2004) Students
    Graham Steel
    Thesis: Discovering Attacks on Security Protocols by Refuting Incorrect Inductive Conjectures
    Supervisors: Alan Bundy, Monika Maidl
  38. Daniel Winterstein (2004)
    Daniel Winterstein
    Thesis: Using Diagrammatic Reasoning for Theorem Proving in a Continuous Domain
    Supervisors: Alan Bundy, Corin Gurr, Mateja Jamnik
  39. Alex Blewitt (current student)
    Alex Blewitt
    Thesis: HEDGEHOG: Automatic Verification of Design Patterns in Java
    Supervisors: Alan Bundy, Richard Boulton, Helen Lowe, Ian Stark
  40. Alex Heneveld (current student)
  41. Fiona McNeill (current student)
  42. Hazel Duncan (current student)
  43. Lin Yang (current student)
    Lin Yang
    Supervisors: Alan Bundy, Dave Berry, Sophie Huczynska, Conrad Hughes
  44. Sreepriya Gopalan (current student)
Please wait while the page loads...
Total descendants: 145
Graduates: 101
Current Students: 44
16th March 2006
Compiled by Jeremy Gow and Simon Colton
Please send us any corrections, additions or comments.