Niki Vazou

@nikivazou

Research Assistant Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.

Vrijeme pridruživanja: siječanj 2012.

Tweetovi

Blokirali ste korisnika/cu @nikivazou

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

  1. Prikvačeni tweet
    21. pro 2019.

    We have open positions for Phd and Postdoc at ! Application deadline is Feb 1st (soon after ). Spread the news and encourage students to apply!

    Poništi
  2. 25. sij
    Poništi
  3. 24. sij

    Check out the winners of the SRC : Congrats to all of you!

    Poništi
  4. 16. sij

    Nanevski applies programming ideas to proofs. workshop

    Poništi
  5. proslijedio/la je Tweet
    31. pro 2019.

    Happy New Year Haskellers!

    Poništi
  6. 27. pro 2019.

    ...and finally, the aftermath of a long day! – mjesto: Σουφάλα

    Prikaži ovu nit
    Poništi
  7. 27. pro 2019.

    Last but not least, flumina by Kallas.

    Prikaži ovu nit
    Poništi
  8. 27. pro 2019.

    Property based testing explained at Athens PLseminar by

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    27. pro 2019.

    Alex Kavvos previewing his work on reccurence extraction at the NTUA PL-seminar!

    Poništi
  10. proslijedio/la je Tweet
    19. pro 2019.

    Category theory goes mainstream with an appearance on Rick and Morty! They use quantum reasoning in symmetric monoidal categories to travel in time, as in

    Poništi
  11. proslijedio/la je Tweet
    4. pro 2019.

    We are accepting applications for the Basili postdoctoral fellowship at UMD. We've had great postdocs come work in PLUM, including , , , and Robert Rand; join this exclusive club!

    Poništi
  12. 4. pro 2019.

    Join us to work in the green capital! is hiring tenure-track (deadline Dec 20).

    Poništi
  13. proslijedio/la je Tweet
    25. stu 2019.

    Did you miss the deadline to submit a paper to Trends in Functional Programming ? No worries--it's not too late! Submission is open until January 10th, for a presentation slot at the event and post-symposium reviewing.

    Poništi
  14. 20. stu 2019.

    Happily destroying academia of the 90s! As female, I am not sure, but I think this is what we call evolution...

    Poništi
  15. 13. stu 2019.
    Poništi
  16. proslijedio/la je Tweet
    1. stu 2019.

    There's still plenty of time to submit to the Student Research Competition!

    Poništi
  17. 4. stu 2019.

    Thanks Kenny for this talk on "Mental Health in Grad School and Beyond"

    Poništi
  18. 3. stu 2019.

    Question: is `Semigroup.<>` still called mappend?

    Poništi
  19. proslijedio/la je Tweet
    19. lis 2019.

    For Halloween, a post on why I'm scared by quantifiers in SMT formulas, and the benefits Liquid/Refinement types can bring to Floyd-Hoare style program logic. (With thanks to Rustan Leino, , Dan Ricketts, , )

    Poništi
  20. 15. lis 2019.

    The intro to Haskell lecture is almost ready!

    Poništi

Č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:

    ·