What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Compiler
Manuel Fähndrich mainly investigates Programming language, Programmer, Theoretical computer science, Software and Compiler.
His Region-based memory management research extends to Programming language, which is thematically connected.
His Programmer research incorporates elements of Multimedia, Touchscreen, Mobile device and Structured programming.
His research integrates issues of Algorithm, Type inference, Register allocation and Software pipelining in his study of Theoretical computer science.
His studies deal with areas such as Distributed computing and Kernel as well as Software.
Manuel Fähndrich has researched Compiler in several fields, including Floating point, Loop invariant, Integer, Abstract interpretation and Predicate transformer semantics.
His most cited work include:
- Enforcing high-level protocols in low-level software (434 citations)
- Verification of object-oriented programs with invariants (293 citations)
- Language support for fast and reliable message-based communication in singularity OS (275 citations)
What are the main themes of his work throughout his whole career to date?
Manuel Fähndrich mostly deals with Programming language, Theoretical computer science, Software, Program analysis and Compiler.
His work investigates the relationship between Programming language and topics such as Code that intersect with problems in State.
His Theoretical computer science research is multidisciplinary, incorporating elements of Algorithm, Aliasing, Scalability and Static analysis.
His Software study integrates concerns from other disciplines, such as Process, Metadata and Software engineering.
His work focuses on many connections between Program analysis and other disciplines, such as Functional programming, that overlap with his field of interest in Abstract syntax tree.
The study incorporates disciplines such as Correctness, Software development and Programmer in addition to Compiler.
He most often published in these fields:
- Programming language (43.93%)
- Theoretical computer science (21.50%)
- Software (13.08%)
What were the highlights of his more recent work (between 2011-2017)?
- Mobile device (12.15%)
- Programming language (43.93%)
- Multimedia (7.48%)
In recent papers he was focusing on the following fields of study:
Manuel Fähndrich mainly focuses on Mobile device, Programming language, Multimedia, Cloud computing and Human–computer interaction.
He has researched Mobile device in several fields, including Masking, Touchscreen, Distributed computing and Reference model.
His research links Code with Programming language.
He focuses mostly in the field of Code, narrowing it down to topics relating to Theoretical computer science and, in certain cases, Static analysis, State and Correctness.
His Human–computer interaction research incorporates elements of Mobile technology, Mobile Web, High-level programming language and Artifact.
The various areas that Manuel Fähndrich examines in his Abstract interpretation study include Calculus and Programmer.
Between 2011 and 2017, his most popular works were:
- Cloud types for eventual consistency (81 citations)
- Eventually consistent transactions (73 citations)
- The future of teaching programming is on mobile devices (52 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Compiler
The scientist’s investigation covers issues in Distributed computing, Mobile device, Eventual consistency, Cloud computing and Theoretical computer science.
His Distributed computing research is multidisciplinary, relying on both Data model, Masking, Asynchronous communication and Reference model.
His Mobile device research incorporates themes from Multimedia and Touchscreen, Human–computer interaction.
His research investigates the connection with Cloud computing and areas like Server which intersect with concerns in Protocol.
His Theoretical computer science research includes themes of Correctness and Code.
Manuel Fähndrich performs multidisciplinary study on Modulo and Programming language in his works.
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.
