Skip to content
View pkitazos's full-sized avatar
3 followers · 8 following

Highlights

  • Pro

Block or report pkitazos

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
pkitazos/README.md

Hello 👋

  • I'm a 5th year CS student @ UofG, specialising in Programming Languages
  • My Master's project is focused on building a library for statically typechecking Elixir communications using Multiparty Session Types
  • I'm currently working at the Glasgow University Software Service building the web platform used to manage Student-Project and Reader-Project allocations within the School of Computing Science

Pinned Loading

  1. elixir_maty elixir_maty Public

    Type-checking Elixir communications using Multiparty Session Types | MSci Project @ UofG

    Elixir

  2. spa spa Public

    The student-project allocation system used by the School of Computing Science @ UofG

    TypeScript 3 5

  3. st_parser st_parser Public

    Simple Parser for Session Types

    Elixir

  4. cx cx Public

    a little cut cli tool

    Go