Jason (jcreed) wrote,
Jason
jcreed

Just met my newly arrived officemate João Belo for the first time. Seems like a decent guy. Apparently his recent PhD thesis had to do with dependently typed multi-sorted logics so obviously he can't be all bad.
Tags: people
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments