What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Computer network
His primary scientific interests are in Programming language, Dynamic software updating, Operating system, Code and Theoretical computer science.
His Programming language study combines topics in areas such as Cyclone and Code generation.
His research investigates the connection between Cyclone and topics such as Focus that intersect with issues in Garbage collection.
Michael Hicks combines subjects such as Machine code, Software development, Typed assembly language and Redundant code, Dead code with his study of Dynamic software updating.
The study incorporates disciplines such as World Wide Web and Scripting language in addition to Code.
His Theoretical computer science research integrates issues from Consistency, Expression, Data structure and Concurrency.
His most cited work include:
- Cyclone: A Safe Dialect of C (635 citations)
- Region-based memory management in cyclone (336 citations)
- Dynamic software updating (293 citations)
What are the main themes of his work throughout his whole career to date?
Michael Hicks focuses on Programming language, Theoretical computer science, Dynamic software updating, Computer security and Software.
Michael Hicks focuses mostly in the field of Programming language, narrowing it down to topics relating to Code and, in certain cases, Focus.
His Theoretical computer science research is multidisciplinary, incorporating elements of Probabilistic logic, Computation, Inference and Cryptography.
His Dynamic software updating research is multidisciplinary, incorporating perspectives in Distributed computing, Software maintenance, State and Server.
The concepts of his Distributed computing study are interwoven with issues in Active networking, Computer network and Network packet.
His work deals with themes such as Downtime, Correctness, Software engineering and Process, which intersect with Software.
He most often published in these fields:
- Programming language (31.16%)
- Theoretical computer science (19.07%)
- Dynamic software updating (13.49%)
What were the highlights of his more recent work (between 2018-2021)?
- Programming language (31.16%)
- Theoretical computer science (19.07%)
- Quantum computer (2.79%)
In recent papers he was focusing on the following fields of study:
Michael Hicks mainly focuses on Programming language, Theoretical computer science, Quantum computer, Correctness and Haskell.
His Programming language research includes elements of Table and Backward compatibility.
The Theoretical computer science study combines topics in areas such as Property, Tree, Probabilistic logic, Computation and Error detection and correction.
His Correctness research is multidisciplinary, relying on both Computer security, Quantitative analysis and Focus.
His Haskell research incorporates themes from Security policy, Monad, Web application and Information flow.
His Overhead study integrates concerns from other disciplines, such as Dynamic software updating, Stateful firewall, Server and Code.
Between 2018 and 2021, his most popular works were:
- Precision medicine integrating whole-genome sequencing, comprehensive metabolomics, and advanced imaging. (19 citations)
- Quantitative robustness analysis of quantum programs (15 citations)
- LWeb: information flow security for multi-tier web applications (12 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- The Internet
The scientist’s investigation covers issues in Theoretical computer science, Data science, Qualitative analysis, DNA sequencing and Genomics.
He has researched Theoretical computer science in several fields, including Error detection and correction and Robustness.
He incorporates a variety of subjects into his writings, including DNA sequencing, Whole genome sequencing, Heterozygote advantage, Precision medicine, Genotype-phenotype distinction and Medical history.
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.
