Nate Yazdani

@nate_yazdani

PhD student , previously BS/MS student . I like programming languages and formal methods, though they don't always like me back.

Boston, MA
nyazdani.com
Vrijeme pridruživanja: prosinac 2015.
1 fotografija ili videozapis Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @nate_yazdani

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @nate_yazdani

  1. proslijedio/la je Tweet
    20. sij

    Reminder to come to this awesome POPLmark retrospective panel on Tuesday! See you there!

    3 proslijeđena tweeta 10 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    6. ruj 2019.

    PUMPKIN PATCH v0.1.0: Ornamental PUMPKIN is now released! It includes all of the original PUMPKIN PATCH functionality, plus everything from DEVOID, all conveniently packaged into a single plugin suite.

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    1. lip 2019.

    My paper "Ornaments for Proof Reuse in Coq" with , John Leo, and Dan Grossman will appear at ITP 2019. Preprint coming this month.

    2 proslijeđena tweeta 36 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    10. tra 2019.

    The Verification Mentoring Workshop 2019 (co-located with CAV 2019 in New York City, USA) call for scholarship applications is now live! Deadline April 30! VMW 2019 webpage: Apply here: RETWEET LIBERALLY!

    1 reply 20 proslijeđenih tweetova 19 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  5. 24. tra 2019.

    I’m officially joining as a PhD student, with Amal Ahmed as my advisor! So excited 😁 (Yes, my “announcement” is over a week after the fact... I’m bad at Twitter.)

    8 replies 4 proslijeđena tweeta 75 korisnika označava da im se sviđa
    Poništi
  6. 7. velj 2019.

    I interned for Aleks one summer, and he's an awesome mentor -- highly recommend applying if you're interested!

    🚨 NEW OPEN POSITIONS 👇🏼👇🏼 To work with Faculty Aleks Nanevski for the project Mathador: Types, verification & proofs for currency 1️⃣ PhD student 2️⃣ Post-doctoral researcher 3️⃣ Programmer More info ➡️
    3 proslijeđena tweeta 6 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    21. sij 2019.

    The SNAPL 2019 Web site is now live, including the CFP! Dates are being finalized but it will soon be all ready. Please take a look and prepare to submit! [Please reshare — being an independent conference, we have no other PR mechanism. Thanks!]

    37 proslijeđenih tweetova 26 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    9. kol 2018.

    As promised, a new blog post about Intersection Types, Sub-formula Property, and the Functional Character of the Lambda Calculus!

    1 reply 8 proslijeđenih tweetova 32 korisnika označavaju da im se sviđa
    Poništi
  9. 7. sij 2018.

    Just checked into my hotel for !

    6 korisnika označava da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    17. stu 2017.

    Preprint for "Adapting Proof Automation to Adapt Proofs" to appear at CPP 2018:

    5 proslijeđenih tweetova 19 korisnika označava da im se sviđa
    Poništi
  11. 28. srp 2017.

    Me, during : Idk why ppl think binding is so hard. Me, looking at my old code: Man, I must've spent days debugging substitution... oh

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    1. svi 2017.

    Given a choice, cats will pick human companionship over toys, food and appealing smells

    37 proslijeđenih tweetova 57 korisnika označava da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    21. tra 2017.

    here's 's, 's, and my short-ish paper on modularly verifying distributed systems!

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    23. ožu 2017.

    ICYMI 2 students were recognized w/ honorable mentions by NSF GRFP Congrats & Martin Kellogg!

    2 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  15. 10. velj 2017.

    woo I'm on the internet

    Congrats for being featured on 's Undergraduate Spotlight!
    5 korisnika označava da im se sviđa
    Poništi
  16. 29. sij 2017.

    Amazed by how quickly and strongly the community has rallied in support of those affected by today's events

    5 proslijeđenih tweetova 35 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    30. pro 2016.

    Hacking Like Champions

    6 proslijeđenih tweetova 21 korisnik označava da mu se sviđa
    Poništi
  18. proslijedio/la je Tweet
    12. pro 2016.

    Congrats CSE's Christopher Mackie, & Sarah Yu - honored as outstanding researchers by !

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    2. stu 2016.

    "Push-Button Verification of File Systems via Crash Refinement" wins best paper award at ! Congrats to Helgi, James, Emina, and Xi!

    4 proslijeđena tweeta 14 korisnika označava da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    21. lis 2016.

    Congrats and Melissa Medsker-Galloway! 2016-2017 recipients of the WA Research Foundation Fellowship!

    1 proslijeđeni tweet 9 korisnika označava da im se sviđa
    Poništi

@nate_yazdani još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·