David Pichardie
David Pichardie publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Security and Verification in Computing and Formal Methods in Verification.
- World rank
- #487,174 of 1,633,909 ranked researchers
- Rank in France
- #29,265 of 96,116
- Works
- 26
- Citations
- 70
- Citations per work
- 2.7
What does David Pichardie research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence46% of their works
- 2Computational Theory and Mathematics12% of their works
- 3Software8% of their works
- 4Hardware and Architecture8% of their works
- 5Signal Processing8% of their works
- 6Computer Networks and Communications4% of their works
Research topics
- Logic, programming, and type systems
- Security and Verification in Computing
- Formal Methods in Verification
- Parallel Computing and Optimization Techniques
- Advanced Malware Detection Techniques
- Software Testing and Debugging Techniques
- Advanced Software Engineering Methodologies
- Advanced Data Storage Technologies
Which keywords describe David Pichardie's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Security Policies, Side-Channel Attacks, Parallel Computing, Satisfiability Modulo Theories and Symbolic Model Checker.
- Self-Adaptive Systems
- Distributed Storage
- Software Fault Localization
- GPU Computing
- Automated Testing
- Symbolic Model Checker
- Parallel Computing
- Security Policies
- Formal Verification
- Model Checking
- Static Analysis
- Side-Channel Attacks
- Satisfiability Modulo Theories
- Android Malware
- Detection
- Performance Optimization
- Autonomic Computing
- Network Coding
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 18 words, with their numbers
- Model Checking92 topics
- Formal Verification61 topic
- Static Analysis61 topic
- Security Policies41 topic
- Side-Channel Attacks41 topic
- Parallel Computing32 topics
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Android Malware21 topic
- Automated Testing21 topic
- Detection21 topic
- GPU Computing21 topic
- Performance Optimization21 topic
- Software Fault Localization21 topic
- Autonomic Computing11 topic
- Distributed Storage11 topic
- Network Coding11 topic
- Self-Adaptive Systems11 topic
Where does David Pichardie work?
David Pichardie's main affiliation in the publication record is Institut de Recherche en Informatique et Systèmes Aléatoires, France.
How many publications and citations does David Pichardie have?
Science Explorer counts 26 works and 70 citations for David Pichardie, ranking #487,174 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.