What is he best known for?
The fields of study Cormac Flanagan is best known for:
- Programming language
- Operating system
- Mutual exclusion
Cormac Flanagan links relevant scientific disciplines such as Scheme (mathematics) and Base (topology) in the realm of Mathematical analysis.
As part of his studies on Scheme (mathematics), he frequently links adjacent subjects like Mathematical analysis.
He is involved in relevant fields of research such as Static analysis, Type (biology) and Key (lock) in the domain of Ecology.
His Ecology research extends to Key (lock), which is thematically connected.
His Paleontology research is intertwined with Context (archaeology) and Type (biology).
Context (archaeology) is often connected to Paleontology in his work.
He undertakes interdisciplinary study in the fields of Programming language and Lisp through his research.
He performs integrative Model checking and Algorithm research in his work.
While working on this project, he studies both Algorithm and Model checking.
His most cited work include:
- DrScheme: a programming environment for Scheme (274 citations)
- Houdini, an Annotation Assistant for ESC/Java (272 citations)
- Types for safe locking (219 citations)
What are the main themes of his work throughout his whole career to date
Cormac Flanagan combines Programming language and Algorithm in his research.
With his scientific publications, his incorporates both Theoretical computer science and Artificial intelligence.
In his study, Cormac Flanagan carries out multidisciplinary Artificial intelligence and Theoretical computer science research.
His Computer network study frequently links to related topics such as Channel (broadcasting).
His Channel (broadcasting) study frequently links to other fields, such as Synchronization (alternating current).
His research links Computer network with Synchronization (alternating current).
Cormac Flanagan regularly ties together related areas like Information flow in his Linguistics studies.
Information flow and Linguistics are commonly linked in his work.
His Set (abstract data type) study frequently links to other fields, such as Code (set theory).
Cormac Flanagan most often published in these fields:
- Programming language (89.13%)
- Theoretical computer science (43.48%)
- Model checking (26.09%)
What were the highlights of his more recent work (between 2014-2018)?
- Information flow (100.00%)
- Programming language (100.00%)
- Linguistics (100.00%)
In recent works Cormac Flanagan was focusing on the following fields of study:
His research is interdisciplinary, bridging the disciplines of Linguistics and Information flow.
His work on Information flow expands to the thematically related Linguistics.
In his works, he undertakes multidisciplinary study on Programming language and Theoretical computer science.
In his work, Cormac Flanagan performs multidisciplinary research in Theoretical computer science and Programming language.
While working in this field, he studies both Distributed computing and Cloud computing.
He merges Cloud computing with Distributed computing in his research.
Cormac Flanagan connects Database with Implementation in his study.
Cormac Flanagan conducts interdisciplinary study in the fields of Implementation and Database through his research.
He merges Operating system with Scripting language in his research.
Between 2014 and 2018, his most popular works were:
- Secure serverless computing using dynamic information flow control (25 citations)
- Faceted Dynamic Information Flow via Control and Data Monads (14 citations)
- Multiple Facets for Dynamic Information Flow with Exceptions (11 citations)
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.
