CS Assistant Professor at @msu. Working on computer security via programming languages, formal methods, and machine learning.
Previously at @kudu-dynamics.
- Bozeman, MT
-
17:44
(UTC -06:00) - http://bitrit.es
- https://orcid.org/0000-0002-2952-9835
- @drone_29a
Highlights
- Pro
Big Sky Software
bigskysoftware
We find hot new trends in the industry & then build the opposite of that
high up in the mountains
Greg Pfeil
sellout
Designing terrible languages and writing Haskell. Sometimes writing code to help my other pursuits … like skiing or telling time.
independent consultant Boulder, CO, USA
Daniel Lemire
lemire
Daniel Lemire is a computer science professor. His research is on software performance in data engineering.
Université du Québec (TELUQ) Montreal, Quebec, Canada
Brian T. Rice
briantrice
I'm interested in languages, systems, and interfaces as a humanitarian concern. I work with data visualization authoring for general audiences.
San Francisco, CA
Ilya Grigorik
igrigorik
Building merchant+web platform capabilities to supercharge commerce at @Shopify.
Shopify Portland, OR
Ben Collins
aggieben
.NET Developer and stuff. Señor Engineer. Former Oloite, Stacker, and Microsoftie. Affinity for .NET, F#, Rust, Bitcoin. Texas A&M CS Grad 2002, 2005
G-Research Greenville, TX