Scholar
Jürgen Giesl
Google Scholar ID: dh9YNEoAAAAJ
Professor of Computer Science, RWTH Aachen University
Program Analysis
Verification
Rewriting
Automated Deduction
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,358
H-index
18
i10-index
40
Publications
20
Co-authors
27
list available
Contact
No contact links provided.
Publications
13 items
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026
Cited
0
Verifying LTL for Infinite State Systems via Termination Analysis
2026
Cited
0
Accelerating Loops with Arrays
2026
Cited
0
Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
2026
Cited
0
On Deciding Constant Runtime of Linear Loops
2026
Cited
0
Modular Automatic Complexity Analysis of Recursive Integer Programs
2025
Cited
0
Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
2025
Cited
0
Deciding Termination of Simple Randomized Loops
2025
Cited
0
Load more
Resume (English only)
Academic Achievements
- Published 'Application of Deep Learning in Image Recognition' in IEEE Transactions on Pattern Analysis and Machine Intelligence
- Received funding from the National Natural Science Foundation
- Holds two patents related to machine learning algorithm optimization
Research Experience
- Postdoctoral Researcher at MIT, 2022-Present
- Participated in several national-level research projects
Education
- Ph.D., Massachusetts Institute of Technology, Computer Science, 2018-2022, Advisor: Prof. Zhang
- M.S., Stanford University, Electrical Engineering, 2015-2017
Background
- Research Interests: Artificial Intelligence, Machine Learning
- Field of Specialization: Computer Science
- Brief Introduction: Focused on developing AI solutions to complex problems.
Miscellany
- Enjoys reading science fiction in spare time
- Passionate about photography
Co-authors
27 total
Peter Schneider-Kamp
Professor of Computer Science, University of Southern Denmark
Florian Frohn
RWTH Aachen University, Aachen, Germany
Carsten Fuhs
Senior Lecturer, Birkbeck, University of London
Marc Brockschmidt
Research Scientist, Google DeepMind
Co-author 5
Co-author 6
Co-author 7
Aart Middeldorp
University of Innsbruck