Brighten Godfrey
4 papers
· 2013–2020
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(7)
🐝
Cross-Pollinator
(11)
🌈
Renaissance Researcher
(6)
Conferences
NSDI (3)
ICML (1)
Top co-authors
Keywords
congestion control
(2)
online learning
(1)
formal verification
(1)
model checking
(1)
network verification
(1)
network throughput
(1)
network configuration
(1)
latency optimization
(1)
network policy
(1)
traffic modulation
(1)
symbolic partitioning
(1)
policy verification
(1)
rate control
(1)
equivalence partitioning
(1)
explicit-state exploration
(1)
deep reinforcement learning
(1)
partial order reduction
(1)