Skip to content
View jtdaugherty's full-sized avatar
  • Galois, Inc.
  • Portland, OR

Highlights

  • Pro

Organizations

@GaloisInc @matterhorn-chat

Block or report jtdaugherty

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn

@immindich
Isaiah Mindich immindich

Rice University Houston, TX

@kquick
Kevin Quick kquick

@GaloisInc Portland, OR

@TieDyedDevil
David B. Lamkins TieDyedDevil
Research Engineer @GaloisInc. Author "Successful Lisp" (available on Amazon.com). Musician https://lcwmusic.bandcamp.com/. Cat guy.

Portland, OR

@m271828
Erin Chapman m271828
I haven't met a combination of mathematics and computer science I didn't like yet

@aws Oregon

@heinlein
Paul Heinlein heinlein

Oregon Health & Science University Portland, OR

@dmwit
Daniel Wagner dmwit
Been programming since the 20th century. Have never met a computer science or math I didn't love, which has taken me down some widely varied rabbit holes.

Falls Church, VA

@benjaminfjones
Benjamin Jones benjaminfjones
Studied math, physics, and computer science in college, did a Ph.D. in math, currently working for AWS from Portland, OR.

AWS Portland, OR

@Launchbury
John Launchbury Launchbury

Galois, Inc. Portland, Oregon

@gilith
Joe Leslie-Hurd gilith
Robot mathematician, probability plumber, chip monk, etc.

Intel Corporation Portland, OR, USA

@j3h
j3h

Twitter, Inc.

@acw
Adam Wick acw
Principal Software Engineer @ Fastly; Implementer of the HaLVM, haskell-tor, and other odd systems and networking projects written in high-level languages.

Fastly Portland, OR

@atomb
Aaron Tomb atomb

@aws Portland, OR