Raimil Cruz

@raimilcruz

PhD in Computer Science at University of Chile.

Chile
linkedin.com/in/raimilcruzc…
Vrijeme pridruživanja: listopad 2011.
2 fotografije ili videozapisa Fotografije i videozapisi

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 👉

    Korisnici , , i
    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    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 ➡️

    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  3. 15. sij

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

    ¡Felicitamos a , nuevo Doctor en Computación ! ¡Te deseamos mucho éxito! 👏👏👏👨‍💻👨‍🎓
    1 reply 12 korisnika označava da im se sviđa
    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:

    6 proslijeđenih tweetova 14 korisnika označava da im se sviđa
    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"

    2 korisnika označavaju da im se sviđa
    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!👏👏

    3 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  7. 8. sij

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

    1 korisnik označava da mu se sviđa
    Poništi
  8. proslijedio/la je Tweet
    16. stu 2019.

    The mental health of PhD researchers demands urgent attention

    5 proslijeđenih tweetova 9 korisnika označava da im se sviđa
    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.

    7 proslijeđenih tweetova 27 korisnika označava da im se sviđa
    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"

    296 replies 4.755 proslijeđenih tweetova 5.276 korisnika označava da im se sviđa
    Prikaži ovu nit
    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 🤦

    Aclaración sobre artículo publicado por La Tercera: un error del que nos hacemos cargo
    1 reply 10 proslijeđenih tweetova 16 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    26. ruj 2019.

    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.

    2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    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.

    31 reply 132 proslijeđena tweeta 1.004 korisnika označavaju da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    12. ruj 2019.

    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:

    2 proslijeđena tweeta 2 korisnika označavaju da im se sviđa
    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 😀👏👍

    Con felicidad les informamos oficialmente que la Universidad de Chile es la N° 1 del país en el Academic Ranking of World Universities (ARWU) de Shanghai 2019. Esto marca un liderazgo de 17 años consecutivos, producto del trabajo de nuestra comunidad
    2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    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.

    16 replies 88 proslijeđenih tweetova 126 korisnika označava da im se sviđa
    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!

    1 korisnik označava da mu se sviđa
    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.

    36 proslijeđenih tweetova 44 korisnika označavaju da im se sviđa
    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.

    10 replies 126 proslijeđenih tweetova 674 korisnika označavaju da im se sviđa
    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 ;)

    9 proslijeđenih tweetova 6 korisnika označava da im se sviđa
    Poništi

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

    ·