University, Subject, Country, Region, World
Max Planck Institut für Software Systeme Find a Professional
Find a Professional: Explore Experts Across 197 Disciplines in 220 Countries! Looking for the top professional in your field, anywhere in the world or your region? Discover our comprehensive directory of experts in engineering, medicine, law, business, arts, and more. Whether you need an architect, doctor, psychologist, mechanical engineer, economist, or lawyer, find the right professional ranked by excellence across 197 disciplines. Start your search today and connect with the best in their fields across 220 countries! Our Premium members gain greater visibility in the directory, ranking higher in search results and reaching a broader audience. With these advantages, you can: Secure more job and client opportunities, Stand out in your field and build a trusted professional image, Connect more easily with potential business partners and professionals. Stand out, make an impact, and seize opportunities! Highlight your expertise, increase your recognition in the industry, and connect with more opportunities by upgrading to Premium today. With Premium membership, you can rise above the competition and take one step closer to success! Upgrade to Premium Now and Showcase Yourself to the World!
Distributed Systems
Networking
Social Networks
Information Retrieval
Security and Privacy
Metrics
H-Index
i10 Index
Citation Counts
76
152
42,862
Distributed systems
Metrics
H-Index
i10 Index
Citation Counts
69
131
46,369
verification
model checking
automated reasoning
Metrics
H-Index
i10 Index
Citation Counts
64
211
18,551
Software Verification
Program Logic
Concurrency
Weak Memory Models
Interactive Theorem Proving
Metrics
H-Index
i10 Index
Citation Counts
48
77
6,799
Foundations of algorithmic verification
linear dynamical systems
model checking
logic
theoretical computer science
Metrics
H-Index
i10 Index
Citation Counts
45
115
6,685
Programming languages
type systems
semantics
verification
Metrics
H-Index
i10 Index
Citation Counts
43
67
6,653
Machine Learning
Artificial Intelligence
Temporal Point Processes
Metrics
H-Index
i10 Index
Citation Counts
42
69
12,910
real-time systems
operating systems
embedded systems
cyber-physical systems
verification
Metrics
H-Index
i10 Index
Citation Counts
41
73
5,241
Security and Privacy
Digital Inequity
Sex Work
Algorithmic Fairness
Survey Methodology
Metrics
H-Index
i10 Index
Citation Counts
36
57
4,066
Formal Logic
Security
Privacy
Programming Languages
Metrics
H-Index
i10 Index
Citation Counts
36
61
3,490
Discover Leading Experts: Premium membership highlights you at the top, increasing your visibility and influence in 13 major fields and 197 disciplines. Be seen first!
Machine Teaching
AI for Education
Programming Education
Reinforcement Learning
Metrics
H-Index
i10 Index
Citation Counts
34
83
4,562
Algorithmic Fairness
Interpretability
Ethical AI
Metrics
H-Index
i10 Index
Citation Counts
24
31
6,083
Formal Methods
Machine Learning
Logic
Artificial Intelligence
Metrics
H-Index
i10 Index
Citation Counts
23
46
2,140
Software engineering
Formal methods
Program analysis
Test generation
Metrics
H-Index
i10 Index
Citation Counts
22
34
1,783
programming languages
verification
Metrics
H-Index
i10 Index
Citation Counts
22
29
1,641
Artificial Intelligence
Metrics
H-Index
i10 Index
Citation Counts
19
25
1,664
Systems
Networking
Metrics
H-Index
i10 Index
Citation Counts
19
21
3,959
Verification
Automata Theory
Logic
Formal Languages
Combinatorial Group Theory
Metrics
H-Index
i10 Index
Citation Counts
19
35
992
programming languages
verification
concurrency
operational semantics
Metrics
H-Index
i10 Index
Citation Counts
17
18
2,511
Computer Science
Socially disruptive technologies
Blockchains
Data Analysis
Social Computing
Metrics
H-Index
i10 Index
Citation Counts
16
20
1,666
Formal Methods and Testing
Metrics
H-Index
i10 Index
Citation Counts
15
18
2,043
Computational Life Sciences
Social Computing
Metrics
H-Index
i10 Index
Citation Counts
15
16
1,306
Algorithmic Fairness
AI and Society
Human-AI Collaboration
Human-Centered AI
Metrics
H-Index
i10 Index
Citation Counts
14
15
1,672
Metrics
H-Index
i10 Index
Citation Counts
14
19
570
Machine learning
Graph Theory
Modeling
Point Processes
Metrics
H-Index
i10 Index
Citation Counts
14
16
35,206
Krishna P. Gummadi
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
76
152
42,862
Distributed Systems
Networking
Social Networks
Information Retrieval
Security and Privacy
Peter Druschel
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
69
131
46,369
Rupak Majumdar
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
64
211
18,551
verification
model checking
automated reasoning
Viktor Vafeiadis
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
48
77
6,799
Software Verification
Program Logic
Concurrency
Weak Memory Models
Interactive Theorem Proving
Joel Ouaknine
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
45
115
6,685
Foundations of algorithmic verification
linear dynamical systems
model checking
logic
theoretical computer science
Derek Dreyer
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
43
67
6,653
Programming languages
type systems
semantics
verification
Manuel Gomez Rodriguez
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
42
69
12,910
Machine Learning
Artificial Intelligence
Temporal Point Processes
Björn B. Brandenburg
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
41
73
5,241
real-time systems
operating systems
embedded systems
cyber-physical systems
verification
Elissa M. Redmiles
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
36
57
4,066
Security and Privacy
Digital Inequity
Sex Work
Algorithmic Fairness
Survey Methodology
Deepak Garg
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
36
61
3,490
Formal Logic
Security
Privacy
Programming Languages
Discover Leading Experts: Premium membership highlights you at the top, increasing your visibility and influence in 13 major fields and 197 disciplines. Be seen first!
Adish Singla
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
34
83
4,562
Machine Teaching
AI for Education
Programming Education
Reinforcement Learning
Muhammad Bilal Zafar
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
24
31
6,083
Daniel Neider
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
23
46
2,140
Formal Methods
Machine Learning
Logic
Artificial Intelligence
Maria Christakis
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
22
34
1,783
Software engineering
Formal methods
Program analysis
Test generation
Damien Zufferey
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
22
29
1,641
programming languages
verification
Goran Radanović
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
19
25
1,664
Artificial Intelligence
Keon Jang
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
19
21
3,959
Georg Zetzsche
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
19
35
992
Verification
Automata Theory
Logic
Formal Languages
Combinatorial Group Theory
Ralf Jung
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
17
18
2,511
programming languages
verification
concurrency
operational semantics
Johnnatan Messias|Johnnatan Messias Peixoto Afonso
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
16
20
1,666
Computer Science
Socially disruptive technologies
Blockchains
Data Analysis
Social Computing
Fuyuan Zhang
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
15
18
2,043
Denzil Correa
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
15
16
1,306
Nina Grgić-Hlača
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
14
15
1,672
Algorithmic Fairness
AI and Society
Human-AI Collaboration
Human-Centered AI
Anne-Kathrin Schmuck
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
14
19
570
Utkarsh Upadhyay
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
14
16
35,206
Machine learning
Graph Theory
Modeling
Point Processes