Skip to content
View alberto-paparella's full-sized avatar
๐Ÿ‘จโ€๐Ÿ’ป
Manipulating symbols
๐Ÿ‘จโ€๐Ÿ’ป
Manipulating symbols

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 usually based in Ferrara, Italy ๐Ÿ‡ฎ๐Ÿ‡น , but currently in Brisbane, Australia ๐Ÿ‡ฆ๐Ÿ‡บ , and interested in Many-Valued Logic and Symbolic Learning

๐Ÿ‘จโ€๐Ÿ’ป About Me :

  • ๐Ÿ“š I'm currently attending a PhD in Mathematics at University of Ferrara
  • ๐ŸŒ I'm currently 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