Matthew Fluet
Matthew Fluet publishes mostly in Computer Networks and Communications, Artificial Intelligence and Hardware and Architecture, on topics such as Parallel Computing and Optimization Techniques, Logic, programming, and type systems and Distributed and Parallel Computing Systems.
- World rank
- #917,991 of 1,633,909 ranked researchers
- Rank in United States
- #250,102 of 358,040
- Works
- 20
- Citations
- 64
- Citations per work
- 3.2
What does Matthew Fluet research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computer Networks and Communications31% of their works
- 2Artificial Intelligence25% of their works
- 3Hardware and Architecture17% of their works
- 4Computational Theory and Mathematics6% of their works
- 5General Health Professions6% of their works
- 6Genetics3% of their works
Research topics
Which keywords describe Matthew Fluet's research?
The keywords of their largest research topics: High-Performance Computing, Model Checking, Parallel Computing, Distributed Systems, GPU Computing, Performance Optimization, Fault Tolerance and Formal Verification.
- Modal Logic
- Symbolic Model Checker
- Networks on Chip
- Interconnection Networks
- Transactional Memory
- Resource Management
- Consistency
- Formal Verification
- Performance Optimization
- Distributed Systems
- Model Checking
- High-Performance Computing
- Parallel Computing
- GPU Computing
- Fault Tolerance
- Static Analysis
- Grid Computing
- Temporal Logic
- Distributed Storage
- Network Coding
- Satisfiability Modulo Theories
- Answer Set Programming
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 22 words, with their numbers
- High-Performance Computing92 topics
- Model Checking83 topics
- Parallel Computing82 topics
- Distributed Systems62 topics
- GPU Computing61 topic
- Performance Optimization61 topic
- Fault Tolerance52 topics
- Formal Verification51 topic
- Static Analysis51 topic
- Consistency31 topic
- Grid Computing31 topic
- Resource Management31 topic
- Temporal Logic32 topics
- Transactional Memory31 topic
- Distributed Storage21 topic
- Interconnection Networks21 topic
- Network Coding21 topic
- Networks on Chip21 topic
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
- Answer Set Programming11 topic
- Modal Logic11 topic
Where does Matthew Fluet work?
Matthew Fluet's main affiliation in the publication record is Toyota Technological Institute at Chicago, United States.
How many publications and citations does Matthew Fluet have?
Science Explorer counts 20 works and 64 citations for Matthew Fluet, ranking #917,991 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.