Skip to content
View alberto-paparella's full-sized avatar
👨‍💻
Manipulating symbols
👨‍💻
Manipulating symbols
27 followers · 45 following

Achievements

Achievement: Pull SharkAchievement: StarstruckAchievement: Quickdraw

Achievements

Achievement: Pull SharkAchievement: StarstruckAchievement: Quickdraw

Organizations

@aclai-lab

Block or report alberto-paparella

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

Hi there 👋 My name is Alberto Paparella

A PhD student at ACLAI Lab based in Ferrara, Italy 🇮🇹 interested in Many-Valued Logic and Symbolic Learning

👨‍💻 About Me :

  • 📚 I'm currently attending a PhD in Mathematics at University of Ferrara
  • 🇦🇺 I was a visiting PhD student at University of Queensland
  • 🎓 I got a Master Degree in Computer Science at University of Bologna
  • 🎓 I got a Bachelor Degree in Computer Science at University of Ferrara

🛠️ My favourite Languages and Tools :

julia  python  tensorflow  jupyter  vscode  git  github 

🔥 My Stats :

GitHub Streak

Top Langs

Pinned Loading

  1. aclai-lab/SoleReasoners.jl aclai-lab/SoleReasoners.jl Public

    This package provides algorithms for reasoning, namely including a sat solver and an automatic theorem prover both based on analytic tableau technique.

    Julia 6 1

  2. aclai-lab/SoleLogics.jl aclai-lab/SoleLogics.jl Public

    Computational logic in Julia!

    Julia 15 8

  3. aclai-lab/piton aclai-lab/piton Public

    Laravel package for rule extraction from MySQL databases

    PHP 5

  4. MusicRecommendation MusicRecommendation Public

    Repository for the project of the Scalable and Cloud Computing course @unibo, a.y. 2022-23.

    Scala 1

  5. ToxicCommentClassifier ToxicCommentClassifier Public

    Repository for the project of the Natural Language Processing course @unibo, a.y. 2022-23.

    Jupyter Notebook 1

  6. InstagramFakeAccountDetection InstagramFakeAccountDetection Public

    Repository for the project of the Artificial Intelligence course @unibo, a.y. 2022-23.

    Python 1