Tweetovi

Blokirali ste korisnika/cu @raimilcruz

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

  1. proslijedio/la je Tweet
    29. sij

    Noticia: graduó nuevo Doctor en Computación. El investigador obtuvo este grado académico con un trabajo de tesis guiado por el prof. Éric Tanter. Te invitamos a conocer más de la investigación desarrollada en 👉

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

    [OFERTA LABORAL PARA POSTDOCTORADO] ¡Ampliamos el plazo de postulación hasta el 10/02! 💡En buscamos Ph.D. intrínsecamente motivad@ por el , o Más info en ➡️

    Poništi
  3. 15. sij

    I just finished the defense of my PhD thesis. It feels very good to achieve this goal

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

    We had a great 2019. This week, we're sharing some of the highlights of this past year at Galois in our Year in Review:

    Poništi
  5. 13. sij

    This Wednesday (January 15th) at 13:30 I will be defending my PhD thesis "Type Abstraction and Faceted Types for Declassification"

    Poništi
  6. proslijedio/la je Tweet
    7. sij

    Ayer recibimos a los alumnos de la escuela de verano , la cual co organizamos, y que formará a profesionales en el software de . Esto, en el marco de nuestra , programa de formación tecnológica avanzada ¡Les deseamos mucho éxito!👏👏

    Poništi
  7. 8. sij

    Learning about Dependent Elimination in "Programming with Dependent Types" by at the Coq Andes Summer School (CASS 2020)

    Poništi
  8. Poništi
  9. proslijedio/la je Tweet
    9. stu 2019.

    Una vez más lo estudiantes de estarán en la Final Mundial de la competencia ICPC de Programación. El equipo de la , UH++ ganó la final caribeña con 8 problemas resueltos, en 2do lugar quedó Limitless de la Univ. de Oriente y en 3ro UH_Wake_me _up.

    Poništi
  10. proslijedio/la je Tweet
    30. lis 2019.

    Vídeo parte 1 - Intervención de Claudio Gutierrez en reunión de la Comisión de Desafíos del Futuro del Senado: "Quiero pedir disculpas por estar en esta sala con un ministro parte de un gobierno criminal que sigue disparando a los jóvenes"

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    28. lis 2019.

    Esta noticia estuvo circulando todo el día, y recién hace una hora reconocen su error. Mientras tanto, se pone en riesgo a venezolanos y cubanos que viven en nuestro país. Que irresponsables 🤦

    Poništi
  12. proslijedio/la je Tweet

    In declassification of confidential data, relaxed noninterference is often employed by using security labels. Raimil Cruz() presents on work extending these approaches by supporting polymorphism in relaxed noninterference.

    Poništi
  13. proslijedio/la je Tweet
    22. ruj 2019.

    Faculty, why don’t we talk more openly about our ideas and struggles with leadership and mentoring? Most of us weren’t trained for this, but by talking about it we can help each other learn, grow, and get better. Everyone wins when we do that.

    Poništi
  14. proslijedio/la je Tweet

    Research paper "Polymorphic Relaxed Noninterference" by Raimil Cruz (University of Chile); Éric Tanter (University of Chile & Inria) will be presented in the 'Data and Information' session. Register today:

    Poništi
  15. proslijedio/la je Tweet
    21. kol 2019.

    La clasificación del Academic Ranking of World Universities (ARWU) de Shanghai 2019 ubicó a la dentro de las siete a nueve mejores de Latinoamérica 😀👏👍

    Poništi
  16. proslijedio/la je Tweet
    17. kol 2019.

    Mi esposo , director de salió de casa con nuestra bebé en el coche, cosa que hacemos habitualmente para dormirla más rápido. Agentes de la seguridad del Estado, ubicados fuera del edificio, le impidieron salir.

    Poništi
  17. 13. kol 2019.

    I am happy to announce that our paper "Existential Types for Relaxed Noninterference" has been accepted to APLAS 2019. See you in Bali!

    Poništi
  18. proslijedio/la je Tweet
    17. srp 2019.

    New PL Perspectives post by me, , Jens Palsberg, and Benjamin Pierce on ACM Conferences and the Cost of Carbon.

    Poništi
  19. proslijedio/la je Tweet
    17. svi 2019.

    Very few people had a perfectly paved road to where they are now. Instead, we got here by traveling through multiple bumps and potholes. Everyone has a story and something to teach - we could all benefit from seeking to listen, understand, and support each other.

    Poništi
  20. proslijedio/la je Tweet
    8. svi 2019.

    The second-round deadline for ECOOP Doctoral Symposium is in 10 days, hurry up! Write up your awesome PL research proposal, submit on Friday, May 17th, and enjoy the last episode of GoT! Summer in London is coming ;)

    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:

    ·