Science Explorer Back to mapMap
Discussion
Researcher · Microsoft (United States) · United States

Shaz Qadeer

Shaz Qadeer publishes mostly in Artificial Intelligence, Hardware and Architecture and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Parallel Computing and Optimization Techniques.

OpenAlex
World rank
#48,405
of 7,710,434 ranked researchers
Rank in United States
#18,681
of 1,627,098
Works
203
Citations
10k
Citations per work
51.2
h-index
51
i10-index 128Top 0.9% in Artificial Intelligence
Shaz Qadeer

What does Shaz Qadeer research?

Shaz Qadeer's work is mostly in Computer Science (88%).

Physical Sciences: 178 works · 87.9% of their workComputer Science: 178 works · 87.9% of their workArtificial Intelligence: 44 works · 21.7% of their workHardware and Architecture: 38 works · 18.6% of their workComputational Theory and Mathematics: 33 works · 16.3% of their workComputer Networks and Communications: 31 works · 15.1% of their workSoftware: 24 works · 11.7% of their workInformation Systems: 9 works · 4.5% of their workEverything else: 25 works · 12.1% of their workTHEIR WORKShaz Qadeer203works
Physical Sciences88%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science17887.9%
  2. Everything else2512.1%
  1. 1Artificial Intelligence22% of their works
  2. 2Hardware and Architecture19% of their works
  3. 3Computational Theory and Mathematics16% of their works
  4. 4Computer Networks and Communications15% of their works
  5. 5Software12% of their works
  6. 6Information Systems4% of their works

Research topics

Which keywords describe Shaz Qadeer's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Fault Tolerance, Formal Verification, Static Analysis, Parallel Computing and Performance Optimization.

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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking1652 topics
  2. Satisfiability Modulo Theories901 topic
  3. Symbolic Model Checker901 topic
  4. Fault Tolerance762 topics
  5. Formal Verification751 topic
  6. Static Analysis751 topic
  7. Parallel Computing741 topic
  8. Performance Optimization741 topic
  9. Consistency601 topic
  10. Distributed Systems601 topic
  11. Automated Testing521 topic
  12. Software Fault Localization521 topic
  13. Security Policies421 topic
  14. Side-Channel Attacks421 topic
  15. Hard Real-Time Systems161 topic
  16. Radiation Effects161 topic
  17. Scheduling Algorithms161 topic
  18. Soft Errors161 topic

Where does Shaz Qadeer work?

Shaz Qadeer's main affiliation in the publication record is Microsoft (United States), United States.

How many publications and citations does Shaz Qadeer have?

OpenAlex counts 203 works and 10,403 citations for Shaz Qadeer, an h-index of 51, ranking #48,405 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Shaz Qadeer. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.