Lambert Meertens
E51022
Lambert Meertens is a Dutch computer scientist known for his influential work in programming language design and formal methods.
Statements (40)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
→
human → programming language designer → |
| affiliation |
CWI
→
IFIP → |
| areaOfSpecialization |
algorithm design
→
formal specification → programming language semantics → |
| contributedTo |
design of high-level programming languages
→
development of formal methods for programming → |
| countryOfCitizenship |
Netherlands
→
|
| employer |
CWI
→
|
| familyName |
Meertens
→
|
| fieldOfWork |
computer science
→
formal methods → programming language design → programming language theory → programming languages → |
| givenName |
Lambert
→
|
| hasGender |
male
→
|
| influenced |
Guido van Rossum
→
Python programming language → |
| knownFor |
design of the ABC programming language
→
|
| languageSpoken |
Dutch
→
English → |
| memberOf |
IFIP Working Group 2.1
→
IFIP Working Group 2.3 → |
| name |
Lambert Meertens
→
|
| nationality |
Dutch
→
|
| notableConcept |
ABC language design principles
→
|
| notableStudent |
Guido van Rossum
→
|
| notableWork |
ABC programming language
→
|
| occupation |
computer scientist
→
researcher → |
| researchInterest |
formal program construction
→
language design methodology → program derivation → |
| workInstitution |
CWI
→
Centrum Wiskunde & Informatica → |
| workLocation |
Amsterdam
→
|
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
ABC programming language
→
|
developer |
|
Lambert Meertens
→
|
name |