University, Subject, Country, Region, World
Max Planck Institut für Software Systeme Engineering & Technology / Computer Science 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
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
Formal Logic
Security
Privacy
Programming Languages
Metrics
H-Index
i10 Index
Citation Counts
36
61
3,490
Machine Teaching
AI for Education
Programming Education
Reinforcement Learning
Metrics
H-Index
i10 Index
Citation Counts
34
83
4,562
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
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!
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
Computer Science
Socially disruptive technologies
Blockchains
Data Analysis
Social Computing
Metrics
H-Index
i10 Index
Citation Counts
16
20
1,666
Algorithmic Fairness
AI and Society
Human-AI Collaboration
Human-Centered AI
Metrics
H-Index
i10 Index
Citation Counts
14
15
1,672
Machine learning
Graph Theory
Modeling
Point Processes
Metrics
H-Index
i10 Index
Citation Counts
14
16
35,206
Distributed Systems
Cloud Computing
Metrics
H-Index
i10 Index
Citation Counts
14
15
1,249
Computational Social Choice
Algorithmic Fairness
Reinforcement Learning
Metrics
H-Index
i10 Index
Citation Counts
13
14
673
Computer Science
Distributed Systems
Metrics
H-Index
i10 Index
Citation Counts
13
13
1,583
Formal verification
vector addition systems
weighted automata
Metrics
H-Index
i10 Index
Citation Counts
12
16
541
Compiler
Memory Consistency Model
Programming Language
Software Engineering
Metrics
H-Index
i10 Index
Citation Counts
11
14
610
Privacy
Human-Computer Interaction
Information Systems
Metrics
H-Index
i10 Index
Citation Counts
11
11
655
Operating Systems
Networks
Computer Architecture
Distributed Systems
Compilers
Metrics
H-Index
i10 Index
Citation Counts
11
11
1,287
Software Testing
Software Verification
Artificial Intelligence
Metrics
H-Index
i10 Index
Citation Counts
10
10
422
Machine Learning
Complex Networks
Visual Tracking
Metrics
H-Index
i10 Index
Citation Counts
10
10
2,692
Program verification
separation logics
relaxed memory models
type systems
Rust programming
Metrics
H-Index
i10 Index
Citation Counts
10
10
611
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
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
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
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
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!
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
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
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
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
Istemi Ekin Akkus
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
14
15
1,249
Distributed Systems
Cloud Computing
Debmalya Mandal
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
13
14
673
Computational Social Choice
Algorithmic Fairness
Reinforcement Learning
Paarijaat Aditya
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
13
13
1,583
Computer Science
Distributed Systems
Filip Mazowiecki
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
12
16
541
Formal verification
vector addition systems
weighted automata
Soham Sundar Chakraborty
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
11
14
610
Compiler
Memory Consistency Model
Programming Language
Software Engineering
Oshrat Ayalon
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
11
11
655
Privacy
Human-Computer Interaction
Information Systems
Antoine Kaufmann
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
11
11
1,287
Operating Systems
Networks
Computer Architecture
Distributed Systems
Compilers
Hasan Ferit Eniser
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
10
10
422
Software Testing
Software Verification
Artificial Intelligence
Ali Zarezade
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
10
10
2,692
Machine Learning
Complex Networks
Visual Tracking
Hai Dang
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
10
10
611
Program verification
separation logics
relaxed memory models
type systems
Rust programming