Statements (49)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:affiliation |
gptkb:University_of_California,_Berkeley
|
| gptkbp:almaMater |
gptkb:Moscow_Institute_of_Physics_and_Technology
|
| gptkbp:awards |
gptkb:Best_Paper_Award_at_PLDI
|
| gptkbp:birthPlace |
gptkb:Russia
|
| gptkbp:contribution |
Software Engineering
Compiler Optimization Type_Systems |
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Alexander Shargunov
|
| gptkbp:influenced |
Modern Programming Languages
|
| gptkbp:influencedBy |
gptkb:John_McCarthy
|
| gptkbp:knownFor |
Contributions to programming languages
|
| gptkbp:nationality |
Russian
|
| gptkbp:profession |
Computer_Scientist
|
| gptkbp:publications |
gptkb:Agile_Software_Development
Software Engineering Education Software Development Life Cycle Domain-Specific Languages Software Development Methodologies Debugging Techniques Software Metrics Open Source Software Development Software Architecture Principles Software Process Improvement Performance Optimization Techniques Software Testing Techniques Type Safety in Programming Languages Type Inference for Functional Languages Compiler Construction Techniques Language Design Principles Software Maintenance Strategies Software Verification Techniques Software_Development_Tools Advanced_Type_Systems Collaborative_Software_Development Concurrency_in_Programming_Languages Error_Handling_in_Programming_Languages Functional_Programming_Paradigms Memory_Management_in_Programming_Languages Programming_Language_Design Programming_Language_Implementations Programming_Language_Semantics Runtime_Systems Software_Configuration_Management Software_Project_Management Software_Quality_Assurance Static_Analysis_of_Programs |
| gptkbp:researchAreas |
Programming_Language_Theory
|