Anthony Widjaja Lin

@anthonywlin

I design and analyse programs that analyse programs. Professor in Theoretical Computer Science (Logic), TU Kaiserslautern, Germany.

Kaiserslautern, Germany
anthonywlin.github.io
Vrijeme pridruživanja: svibanj 2012.
16 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @anthonywlin

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

  1. 8. sij

    An exciting postdoc opportunity at Yu-Fang Chen's lab in Taipei on verification of quantum cryptographic algorithms, and SMT over strings: I've had close contacts with Yu-Fang's group for several years now, and no doubt it's a great place to work and live

    1 proslijeđeni tweet
    Poništi
  2. 1. pro 2019.

    Wonderful keynote speech at by Annabelle McIver

    2 korisnika označavaju da im se sviđa
    Poništi
  3. 30. stu 2019.

    Greetings from Nusa Dua Bali! is going to start tomorrow, but we have the NIER Workshop starting soon today organized by Atsushi Igarashi. It's going to take place at Bali Room@Melia Hotel. Will see some of you soon!

    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  4. 12. stu 2019.

    Come and join my new Automated Reasoning Group at MPI-SWS. I currently have two PhD studentships in automated reasoning, and formal verification in my I would appreciate it if pass this on to those who might be interested.

    11 proslijeđenih tweetova 18 korisnika označava da im se sviđa
    Poništi
  5. 24. ruj 2019.

    Check out the following job ad on postdoc in string constraint solving at my long-time collaborator's (Matthew Hague's) group: p.s. also complain to him directly for not being on social media.

    4 korisnika označavaju da im se sviđa
    Poništi
  6. 24. ruj 2019.

    APLAS'19 Registration System is up:

    1 korisnik označava da mu se sviđa
    Poništi
  7. proslijedio/la je Tweet
    17. ruj 2019.

    7.677 replies 39.313 proslijeđenih tweetova 204.487 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    9. ruj 2019.

    the deadline to submit posters to in Bali is coming up !

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  9. proslijedio/la je Tweet
    8. ruj 2019.

    I wrote about string length:

    16 replies 204 proslijeđena tweeta 508 korisnika označava da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    9. ruj 2019.

    I believe I have written more papers than Alan Turing + John Nash! Numbers of papers alone is a wrong misleading metric. Please focus instead on writing good papers that advance the field, help the world, and that you’ll be proud of when you look back in 20 or 50 years.

    Yes, (well, all of ) produces a lot of awesome AI research, but + together produce more (judging by papers!), and + + + produces more than + +
    Prikaži ovu nit
    31 reply 440 proslijeđenih tweetova 2.100 korisnika označava da im se sviđa
    Poništi
  11. 7. ruj 2019.

    I love this analysis. Hats off to as always.

    Thanks for posting this. I realize that this is an idiosyncratic view, but today's events (stop Hard Brexit 10/31 but no election right now) really seems to trend the same way. Tick Tock goes the Tories clock...
    1 korisnik označava da mu se sviđa
    Poništi
  12. 1. ruj 2019.

    APLAS'19 list of accepted papers is out now: On behalf of APLAS PC, many thanks to all who submitted their work. Also, thanks to APLAS19 awesome PC esp. to , , and Katya Komendantskaya, who did extra work.

    4 proslijeđena tweeta 13 korisnika označava da im se sviđa
    Poništi
  13. 23. kol 2019.

    I've recently been awarded a Max-Planck Fellowship (thanks to everyone who supported me), so I will have some more postdoc+PhD student openings soon. If you know any suitable candidate, please let them know about the openings. Thanks! :)

    2 proslijeđena tweeta 32 korisnika označavaju da im se sviđa
    Poništi
  14. 14. lip 2019.

    Due to numerous requests, we have decided to extend Asian Symposium on Programming Languages and Systems () submission deadline to 23 June.

    3 proslijeđena tweeta 1 korisnik označava da mu se sviđa
    Poništi
  15. proslijedio/la je Tweet
    3. lip 2019.

    Bali is the No 5 on the TripAdvisor list of places to visit in 2019, and the number one destination in Asia. On related news , abstracts are due in a week! See you in Bali !

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  16. 1. lip 2019.

    Probabilistic Bisimulation for Parameterized Systems (with applications to verifying anonymous protocols)": . Joint work with this dude among others

    5 korisnika označava da im se sviđa
    Poništi
  17. 30. svi 2019.

    Ah I forgot mentioning other awesome PC members that are on twitter afaik: , @aleph_kappal

    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. 30. svi 2019.

    APLAS'19 () deadline in 2 weeks. In Bali (Nusa Dua - an awesome part of Bali). We have an awesome set of keynote speakers (e.g. ) and an awesome set of PC members (e.g. and ). Hope to see you awesome people there!

    1 reply 3 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    9. svi 2019.

    submission page is open now

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

    MOSCA kickoff with Volker Diekert's Talk

    Poništi

@anthonywlin 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:

    ·