Scholar
René Just
Google Scholar ID: Y_KtQ8kAAAAJ
University of Washington
Software engineering
Software testing
Program analysis
Software security
Data science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,056
H-index
27
i10-index
41
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
3 items
Regulating AI: Where U.S. State Policy and HCI (Mis)align
2026
Cited
0
Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents
2026
Cited
0
Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
