Profile

Cover photo
Jason Dagit
Works at Galois
Attended Oregon State University
Lived in Portland
459 followers|40,894 views
AboutPosts

Stream

Jason Dagit

Shared publicly  - 
 
 
We're hiring! Galois is looking for a project engineer to be located in Arlington, VA: http://corp.galois.com/dc-project-engineer
1
Add a comment...

Jason Dagit

Shared publicly  - 
 
 
This year's Formal Methods in Computer-Aided Design (FMCAD) conference is being held from October 20 - 23 here in Portland, OR. Galois is proud to be one of the sponsors of this annual event - we're excited to be having it in our own back yard!

Dr. Lee Pike is on the program committee, and he's also giving a keynote address at the co-located MEMOCODE conference on October 18.

We hope to see folks there!
5
Add a comment...

Jason Dagit

Shared publicly  - 
 
 
Students at U.S. Universities!

The NSF wants YOU to attend ICFP 2013 in Boston. Just write to icfp-support@lambda-calcul.us and we'll make it happen. Funds are limited, as is time, so email us now!

Already attending? Write and ask for reimbursement.

Please spread this far and wide.

For more on ICFP 2013, see http://icfpconference.org/icfp2013/
1
Add a comment...

Jason Dagit

Shared publicly  - 
 
This is a good read for project management insight: http://www.stevemcconnell.com/rdenum.htm
1
Add a comment...

Jason Dagit

Shared publicly  - 
 
We received notice today that our paper got accepted. Heading to Italy in September :)

http://arxiv.org/abs/1307.1719
8
Erlend Hamberg's profile photoBenjamin Jones's profile photo
2 comments
 
Congrats, too bad the conference is in Italy..
Add a comment...

Jason Dagit

Shared publicly  - 
 
 
Over the coming two weeks (ok, might take three), I'll be rolling out an open preview "version zero" of the numerical libs i've been developing for Haskell.  This initial release will be suitable for use/experimentation by Haskell experts and folks already writing numerical libraries using Haskell.

I'm excited (and terrified), and look forward to all the great feedback and such that the Haskell community is (inf)famous for! :)
2
Add a comment...
Have them in circles
459 people

Jason Dagit

Shared publicly  - 
 
 
 
#techtalk Please join us for this week's tech talk on Tuesday at 10:30am. Ashe Dryden will be speaking about diversity in the programming community. More details are available on our blog: http://corp.galois.com/blog/2013/10/17/tech-talk-programming-diversity.html
1
Add a comment...

Jason Dagit

Shared publicly  - 
 
 
+Jason Dagit and +Matthew Sottile developed a cool technique that could help you learn something interesting from your software's history. Read more about it here and let us know what you think: http://bit.ly/16nH9DB
4
Add a comment...

Jason Dagit

Shared publicly  - 
 
 
#techtalk   +Simon Peyton Jones  the lead designer of GHC, will talk about GHC's core language with emphasis on recent type-system developments.   Next Monday, 29 July 2013, at 10:30am.  More details are available on our blog:

http://corp.galois.com/blog/2013/7/23/tech-talk-type-directed-compilation-in-the-wild-haskell-and.html
1
Add a comment...
People
Have them in circles
459 people
Education
  • Oregon State University
    Computer Science
  • Oregon State University
    Mathematics
Work
Employment
  • Galois
    Enginerd, 2009 - present
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Previously
Portland