What is she best known for?
The fields of study she is best known for:
- Programming language
- Operating system
- Gene
Her scientific interests lie mostly in Trypanosoma cruzi, Theoretical computer science, Programming language, Session and Molecular biology. Her work carried out in the field of Trypanosoma cruzi brings together such families of science as Microbiology, Mucin, Glycoprotein and Cell biology. The study incorporates disciplines such as Software development, Abstraction, Asynchronous communication, Extension and Range in addition to Theoretical computer science.
Her study in the field of Information flow, Programming style, Subtyping and Type safety is also linked to topics like Notation. Her research in Session intersects with topics in Signature, Distributed computing, Peer-to-peer, Programming language theory and Subject reduction. Her Molecular biology research is multidisciplinary, relying on both Epitope, Antibody, Monoclonal antibody, Immunoprecipitation and Plasmodium berghei.
Her most cited work include:
- Multiparty asynchronous session types (537 citations)
- Hybridoma produces protective antibodies directed against the sporozoite stage of malaria parasite (398 citations)
- Monovalent fragments (Fab) of monoclonal antibodies to a sporozoite surface antigen (Pb44) protect mice against malarial infection. (369 citations)
What are the main themes of her work throughout her whole career to date?
Her primary areas of investigation include Programming language, Theoretical computer science, Session, Trypanosoma cruzi and Asynchronous communication. In her research on the topic of Theoretical computer science, Linear logic is strongly related with Soundness. Her Session course of study focuses on Protocol and Toolchain.
Nobuko Yoshida combines subjects such as Microbiology, Molecular biology, Glycoprotein, Cell biology and Monoclonal antibody with her study of Trypanosoma cruzi. Her Microbiology research is multidisciplinary, incorporating perspectives in Mucin and Virology. Her Cell biology research incorporates themes from Cell, Internalization, HeLa and Lysosome.
She most often published in these fields:
- Programming language (31.16%)
- Theoretical computer science (28.64%)
- Session (27.64%)
What were the highlights of her more recent work (between 2018-2021)?
- Session (27.64%)
- Programming language (31.16%)
- Protocol (10.55%)
In recent papers she was focusing on the following fields of study:
Session, Programming language, Protocol, Asynchronous communication and Communications protocol are her primary areas of study. Her Session study incorporates themes from Theoretical computer science, Coinduction, Code, Semantics and Syntax. Her Theoretical computer science research integrates issues from Collision, Component-based software engineering and Isomorphism.
Her Programming language study frequently draws parallels with other fields, such as Shared memory. Her Asynchronous communication research includes elements of Class and Subtyping. Her biological study spans a wide range of topics, including Toolchain, Scala and Distributed computing.
Between 2018 and 2021, her most popular works were:
- Less is more: multiparty session types revisited (27 citations)
- Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures (25 citations)
- Developing secure bitcoin contracts with BitML (14 citations)
In her most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Gene
Nobuko Yoshida spends much of her time researching Session, Programming language, Asynchronous communication, Theoretical computer science and Concurrency. Her research in Session focuses on subjects like Protocol, which are connected to Type safety. Her Programming language study frequently involves adjacent topics like Code.
Her work on Asynchrony as part of general Asynchronous communication study is frequently linked to Duality, therefore connecting diverse disciplines of science. Her Theoretical computer science study combines topics in areas such as Subset and superset, Scalability and Computer programming. Nobuko Yoshida interconnects Concurrent computing, Subtyping, Runtime system, Liveness and Scala in the investigation of issues within Concurrency.
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.
