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
10 items
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
The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting
2024
Cited
0
Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
arXiv.org · 2024
Cited
0
Targeting Completeness: Automated Complexity Analysis of Integer Programs
arXiv.org · 2024
Cited
1
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
Co-author 3
Co-author 4
Co-author 5
Co-author 6
Co-author 7
Aart Middeldorp
University of Innsbruck
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up