Statements (67)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:affiliation |
gptkb:University_of_Edinburgh
|
| gptkbp:almaMater |
gptkb:University_of_Cambridge
|
| gptkbp:awards |
ACM Fellow
Fellow_of_the_Royal_Society Fellow_of_the_British_Computer_Society |
| gptkbp:birthDate |
1932-01-01
|
| gptkbp:birthPlace |
gptkb:London
|
| gptkbp:children |
Three children
|
| gptkbp:collaboratedWith |
gptkb:David_Turner
gptkb:John_Hughes gptkb:Peter_G._Neumark G._K._Gupta |
| gptkbp:contribution |
Software Engineering
Research in programming language semantics Research in distributed systems Research in human-computer interaction Research in programming language theory Research in software maintenance Research in software testing Research in computer architecture Research in artificial intelligence applications Research in algorithm design Research in software project management Research in software engineering education Research in data structures Research in software architecture Research in software metrics Research in software quality assurance Advancements in functional programming paradigms Advancements in type systems Research in concurrent programming Research in programming environments Research in programming language implementation Research in software configuration management Research in software design patterns Research in software development processes Research in software development tools Research in software engineering ethics Research in software engineering methodologies Research in software engineering practices Research in software engineering standards Research in software evolution Research in software reuse Research in software verification techniques Research in theorem proving Development_of_the_programming_language_Miranda |
| gptkbp:deathDate |
2020-01-01
|
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Harry Burstall
|
| gptkbp:influenced |
Type Theory
Software Development Practices Functional_Programming_Languages |
| gptkbp:influencedBy |
gptkb:Alonzo_Church
|
| gptkbp:knownFor |
Programming Languages
Contributions to computer science |
| gptkbp:nationality |
British
|
| gptkbp:notableWork |
Functional_Programming
|
| gptkbp:occupation |
Computer_Scientist
|
| gptkbp:publishes |
Functional_Programming_in_the_Real_World
Software_Specification_and_Verification The_Programming_Language_ML Theoretical_Foundations_of_Programming_Languages |
| gptkbp:researchInterest |
Artificial Intelligence
Formal Methods Programming_Language_Design |
| gptkbp:spouse |
gptkb:Margaret_Burstall
|