Statements (61)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
person
|
| gptkbp:academicAdvisor |
gptkb:William_F._Trench
|
| gptkbp:affiliation |
gptkb:University_of_California,_Berkeley
gptkb:University_of_California,_San_Diego |
| gptkbp:birthDate |
1931-12-24
|
| gptkbp:birthPlace |
gptkb:United_States
|
| gptkbp:contribution |
gptkb:quantum_computing
artificial intelligence cloud computing machine learning theoretical computer science set theory algorithm design computational linguistics data structures human-computer interaction information theory knowledge representation object-oriented programming software architecture software maintenance bioinformatics category theory distributed systems type theory computational complexity graph theory mathematical logic network theory fuzzy logic software testing semantic web model theory automata theory proof theory discrete mathematics program semantics software metrics software quality assurance software development methodologies software project management formal specification agile software development algebraic logic institutional semantics devops_practices Goguen_categories |
| gptkbp:deathDate |
2016-09-16
|
| gptkbp:field |
computer science
mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
Goguen
|
| gptkbp:influencedBy |
gptkb:John_von_Neumann
Alfred Tarski |
| gptkbp:knownFor |
contributions to category theory
work in computer science development_of_algebraic_semantics |
| gptkbp:notableFeature |
gptkb:D._H._P._Jones
gptkb:G._G._Lorentz |
| gptkbp:researchFocus |
programming languages
software engineering formal methods |