What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Object-oriented programming
Jonathan Aldrich focuses on Programming language, Object-oriented programming, Java, Software architecture and Software development.
His studies in Object, Modular design, Static analysis, Formal specification and Concurrency are all subfields of Programming language research.
His study looks at the relationship between Object-oriented programming and topics such as Program analysis, which overlap with Theoretical computer science, Hierarchical control system, Systems architecture and Method.
His Java research is multidisciplinary, relying on both Program optimization, Lock, Aliasing and Usability.
His Software architecture research integrates issues from Software system, Architectural pattern and Software engineering.
His work carried out in the field of Software development brings together such families of science as Java concurrency, Type theory, Thread and Embedded system.
His most cited work include:
- ArchJava: connecting software architecture to implementation (429 citations)
- Open modules: modular reasoning about advice (224 citations)
- Alias annotations for program understanding (215 citations)
What are the main themes of his work throughout his whole career to date?
Jonathan Aldrich spends much of his time researching Programming language, Java, Object-oriented programming, Software engineering and Object.
His Programming language study combines topics in areas such as Theoretical computer science and Code.
The study incorporates disciplines such as Aliasing, State and Software evolution in addition to Java.
His research in Object-oriented programming tackles topics such as Static analysis which are related to areas like Soundness.
His research in Software engineering intersects with topics in Architectural pattern, Software system, Software, Software development and Usability.
His Object research is multidisciplinary, incorporating perspectives in Protocol and Interface.
He most often published in these fields:
- Programming language (67.68%)
- Java (23.23%)
- Object-oriented programming (19.19%)
What were the highlights of his more recent work (between 2015-2021)?
- Programming language (67.68%)
- Software engineering (18.69%)
- Usability (8.08%)
In recent papers he was focusing on the following fields of study:
The scientist’s investigation covers issues in Programming language, Software engineering, Usability, Solidity and Java.
Jonathan Aldrich incorporates Programming language and Proof assistant in his studies.
His Software engineering research is multidisciplinary, incorporating elements of Software system, Blockchain, Compile time and Software development.
His work in the fields of Usability, such as Usability engineering and Usability inspection, overlaps with other areas such as Based case study, Natural language programming and Course.
Jonathan Aldrich interconnects Computer security, Hacker, SAFER and State in the investigation of issues within Solidity.
His study in Java is interdisciplinary in nature, drawing from both Equivalence, Composite pattern and Immutability.
Between 2015 and 2021, his most popular works were:
- Exploring language support for immutability (27 citations)
- Glacier: transitive class immutability for Java (17 citations)
- Hazelnut: a bidirectionally typed structure editor calculus (16 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Object-oriented programming
His primary areas of investigation include Software engineering, Programming language, Software, State and Blockchain.
His studies in Software engineering integrate themes in fields like Usability lab, Software development, Semantics and Usability goals.
His Programming language study often links to related topics such as Theoretical computer science.
His Software research incorporates elements of Android and World Wide Web.
His State study incorporates themes from Computer security, Hacker, SAFER and Solidity.
His work carried out in the field of Blockchain brings together such families of science as Set, Leverage and Compile time.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
