Skip to content
View Alex-Dell1's full-sized avatar
  • Nagoya University
  • Nagoya, Japan

Block or report Alex-Dell1

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

Hey! It's me, Alex! :bowtie:

  • ๐Ÿ’ป A clumsy PhD student in Mathematics at Nagoya University, Japan ๐Ÿ‡ฏ๐Ÿ‡ต.
  • ๐Ÿง‘โ€๐ŸŽ“ As of March 17th 2023, I have completed my International Double Master's Degree in Computer Science at both the universities of Udine ๐Ÿ‡ฎ๐Ÿ‡น and Klagenfurt ๐Ÿ‡ฆ๐Ÿ‡น.
  • ๐Ÿ”Ž My main interests involve Quantum Computing, Complexity Theory.
  • ๐Ÿ”ญ Here you can find all the projects I am most proud of.

In my profile pic, you can see me fully enjoying Tokyo, Japan ๐Ÿ‡ฏ๐Ÿ‡ต.

Pinned Loading

  1. Masters-thesis Masters-thesis Public

    My Master's thesis on Graph encoding in Quantum Computing.

    1

  2. Quantum_Formal_Verification Quantum_Formal_Verification Public

    Written report on the topic Quantum Formal Verification.

  3. QML_Kernel_Methods QML_Kernel_Methods Public

    An in-depth study work I did over Kernel Methods in Quantum Machine Learning for a university exam.

    1

  4. ingambe/Aircraft_Scheduling ingambe/Aircraft_Scheduling Public

    PoC aircraft scheduling in ASP

    Python 3 3

  5. 7_segments 7_segments Public

    University project related to Logic and Constraint Programming.

    Python

  6. PCP_undecidability_ITA PCP_undecidability_ITA Public

    These are the slides I prepared for a master's degree lecture for a course in Logics for Applications. As of right now I can only offer an Italian version.

    TeX