Software. Detroit metro.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr.
UNIX historian and archivist.
Occasional Rust standard library contributor.
Oliver is a CSE Prof teaching databases and data structures. He enjoys HEMA, cooking, photography, home automation, and coding random stuff. He built a notebook for collaborative, reproducible data science called Vizier (https://vizierdb.info) and now works on scaling datalog on commodity hardware (https://git.odin.cse.buffalo.edu/Norn/Draupnir)
Expect posts here to be mostly about #draupnir, #vizier, bad puns, #photo graphy, and/or travel logs.
[He/Him]
Research professor in the Kahlert School of Computing at the University of Utah. Co-director of the Flux Research Group: https://www.flux.utah.edu. I build research infrastructure: https://cloudlab.us, https://powderwireless.net, https://emulab.net .
I do not speak for my employer, nor do they speak for me
Account locked to chill for a while, but it's okay, ask to follow! I'll probably say yes!
Certified Boffin ™
Zucchini user
Dragon Dad
That's all folks...
