Statements (65)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Person
|
| gptkbp:affiliation |
gptkb:University_of_Amsterdam
gptkb:Utrecht_University |
| gptkbp:alma_mater |
gptkb:University_of_Amsterdam
|
| gptkbp:awards |
gptkb:Knuth_Prize
|
| gptkbp:birth_date |
1913-12-09
|
| gptkbp:children |
2
|
| gptkbp:contribution |
gptkb:Van_Wijngaarden_grammar
Development of programming languages Research on type systems Research on concurrent programming Research on distributed systems Research on human-computer interaction Research on mathematical logic Research on computational models Research on decidability Research on artificial intelligence Research on computational complexity Research on machine learning Research on programming paradigms Research on software testing Research on network protocols Research on software engineering Research on user interface design Research on algebraic structures Research on algorithms Research on data structures Research on set theory Research on algorithmic randomness Research on formal verification Research on software verification Research on model theory Research on category theory Research on combinatorial logic Research on complexity classes Research on computable functions Research on database theory Research on fixed-point theory Research on hardware description languages Research on logic in computer science Research on programming language design Research on proof theory Research on recursion theory Research on semantics of programming languages Research on systems programming Van Wijngaarden's theorem |
| gptkbp:death_date |
2018-01-10
|
| gptkbp:fellowship |
gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
|
| gptkbp:field |
gptkb:Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Martha van Wijngaarden
|
| gptkbp:influenced |
gptkb:Henk_Barendregt
|
| gptkbp:influenced_by |
gptkb:Alonzo_Church
|
| gptkbp:known_for |
Contributions to computer science
|
| gptkbp:nationality |
gptkb:Dutch
|
| gptkbp:notable_students |
gptkb:Jan_van_Leeuwen
gptkb:Henk_Barendregt |
| gptkbp:notable_work |
Theory of Recursive Functions
|
| gptkbp:occupation |
gptkb:Mathematician
|
| gptkbp:research_interest |
Lambda calculus
Type theory Computability theory Formal languages |
| gptkbp:spouse |
gptkb:Adriaan_van_Wijngaarden
|
| gptkbp:bfsParent |
gptkb:Jeroen_van_Wijngaarden
|
| gptkbp:bfsLayer |
6
|