Jorge A. Pérez

@PerezJorgeA_

Assoc Professor of Computer Science (NL) Member Software (& its correctness) | Concurrency, Logic, Programming (& their interplay)

Groningen, The Netherlands
Vrijeme pridruživanja: rujan 2019.

Tweetovi

Blokirali ste korisnika/cu @PerezJorgeA_

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

  1. Prikvačeni tweet
    14. sij

    I'm looking for visual resources (videos, animations, etc) explaining - (theoretical) computer science - software verification - formal methods to wide, non-technical audiences. Please DM any pointers! Feel free to RT.

    Poništi
  2. proslijedio/la je Tweet
    31. sij

    An invasion of profs from at the symposium We came, we saw, we discussed software engineering.

    Poništi
  3. proslijedio/la je Tweet
    29. sij

    I'm looking for setting up a collaboration with researchers in in The ! Write me if you're interested!

    Poništi
  4. proslijedio/la je Tweet
    27. sij

    Coming Friday organizes the sixth Dutch national software engineering symposium. It will feature six invited talks from academia and industry, see the program Join us at !

    Poništi
  5. proslijedio/la je Tweet
    20. sij

    Our report about the dire consequences of work pressure at Dutch universities is now online! Read it here 👇

    Poništi
  6. 22. sij

    Thanks to Claudio Mezzina () for a short but productive visit to . Lots of discussions on extensions of our line of work on message-passing concurrency, reversible semantics & type systems.

    Poništi
  7. 20. sij
    Poništi
  8. proslijedio/la je Tweet
    14. sij

    . FSE TTer? Interested in networking with other TTers, machine learning, nano-electronics, education, and/ or ecology & evolution of infectious ecosystems? Come to next YSEN meeting, afternoon of 28 January! Register at

    Poništi
  9. proslijedio/la je Tweet
    9. sij

    Program of the SEN Symposium at is now online! I'm looking forward to the event 😄. Please register here: With talks by and others.

    Poništi
  10. 7. sij

    My PhD student Mauricio Cano defended today his thesis "Session-based concurrency: between operational and declarative views". Great defense, with many (tough) questions on all aspects of a thorough work.

    Poništi
  11. 6. sij

    "Universities must embrace complaints if they are to achieve diversity and inclusivity. Otherwise, recruiting top women academics through gender-equality initiatives could become an unintentional search-and-destroy mission."

    Poništi
  12. proslijedio/la je Tweet
    18. pro 2019.

    Registration to the 6th Dutch national symposium on software engineering is open! SEN takes place on 31 Jan . Line-up: , Vasilios Andrikopoulos, , Veelasha Moonsamy, , Jan van Zoest

    Poništi
  13. proslijedio/la je Tweet
    16. pro 2019.

    Registration to the Dutch Symposium on Software Engineering Research, 31st of January, at , is now open: Line-up is gonna be great, including /cc

    Poništi
  14. 12. pro 2019.

    Very proud of the PhD work of my student Mauricio Cano! Mauricio's work is about session types & concurrency. He takes session types out of their "comfort zone" to specify/verify message-passing programs with declarative & reactive features.

    Poništi
  15. 9. pro 2019.

    The call for "lightning talks" at the SEN Symposium is still open! Submit your one-page proposal by December 13. Details:

    Poništi
  16. 5. pro 2019.

    Sinterklaas has passed by the Bernoulli Institute!

    Poništi
  17. 3. pro 2019.

    What is an effective & practical method of improving one's handwriting? Mine used to be decent (even pretty) but has worsened dramatically in the last 5-6 years - not sure what (motor) skill has degraded... Any suggestions?

    Poništi
  18. proslijedio/la je Tweet
    2. pro 2019.

    2020 is coming to Groningen! Save the dates (17, 18 March), and think of what to submit to the VERSEN track

    Poništi
  19. 19. stu 2019.

    Doing research in Software Engineering in NL? Join us at the SEN symposium! (Jan 31 2020) We'll have great invited speakers, time for networking & contributed "lightning talks" (deadline Dec 13). Share among students & colleagues!

    Poništi
  20. 13. stu 2019.

    Great talk by Prof Peter Mosses (Swansea & TUDelft) today at our CS colloquium . He showed how to specify programming languages with reusable 'funcons' (fundamental constructs). Neat compositional support for actual PLs on top of Plotkin's SOS.

    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:

    ·