Scholar

Victor Nicolet

Google Scholar ID: 8UC8eW0AAAAJ

Applied Scientist, AWS

programming languagesprogram synthesisverification

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

130

H-index

5

i10-index

5

Publications

12

Co-authors

0

Contact

CVOpen ↗GitHubOpen ↗

Publications

3 items

Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents

2025

Cited

0

Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection

2025

Cited

0

Program Synthesis From Partial Traces

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)