Skip to content
View giuseppeperelli's full-sized avatar
🎹
🎹
27 followers · 17 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Organizations

@whitemech

Block or report giuseppeperelli

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
giuseppeperelli/README.md

Welcome to my GitHub page!

My research interests regard many aspects of Formal Methods for Artificial Intelligence. In particular, I work on verification and synthesis for multi-agent systems, knowledge representation, strategic reasoning, logics, games, and automata theory. In 2023, I received the "Marco Somalvico" Young Researcher Award from the Italian Association for Artificial Intelligence as best under 37 Italian researchers who autonomously contributed to advance the state-of-the-art in the field. In 2012, I received the 3+2 Award from the Italian Association for Logics and its Applications for Best Master Thesis in Logics.

Popular repositories Loading

  1. giuseppeperelli.github.io giuseppeperelli.github.io Public

    Personal Website

    HTML 2

  2. giuseppeperelli giuseppeperelli Public

    1