🎯
Focused
Computer Scientist from Universitat Politècnica de València. Visiting Scholar at University of Illinois at Urbana-Champaign.
- Valencia, Spain
- https://v1ct0r-byte.github.io/
Pinned Loading
-
-
SentimentAnalysisSpotify
SentimentAnalysisSpotify PublicData Science Project in the use of APIs and sentiment analysis on the songs of the user's playlists using python.
Jupyter Notebook 2
-
PQC-in-Maude
PQC-in-Maude PublicRepository holding code specifications of post-quantum protocols for their formal verification.
-
Protocol-Dialects-as-Formal-Patterns
Protocol-Dialects-as-Formal-Patterns PublicRepository with Maude specifications implementing the novel idea of Protocol Dialects as Formal Patterns. Specifically, the repository presents a formal semantics of dialects as formal patterns, i.…
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
