Skip to content
View Mala1180's full-sized avatar
  • Santarcangelo di Romagna, Italy
  • 23:26 (UTC +02:00)

Organizations

@aequitas-aod

Block or report Mala1180

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Mala1180/README.md

About Me

I completed a Master's degree in Computer Science and Engineering at the University of Bologna (UniBo). I am deeply passionate about computer science, always driven by curiosity to learn something new and improve my skills. My main interests lie in Software Engineering and Intelligent Systems, and I'd like to become an experienced researcher and engineer in such fields.

Currently, I am a PhD Student in Data Science and Computation at the University of Bologna, where I'm conducting research on methodologies for more autonomous and scalable Neuro-Symbolic and Agentic AI systems.

Relevant Projects

  • AGE-ML, a framework for automatic generation and execution of end-to-end machine learning pipelines from explicit, human-readable specifications.

  • Satify, a pure functional SAT solver written in Scala 3.

  • Revue, a distributed monitoring system engineered with:

    • Domain-Driven Design and Hexagonal Architecture.
    • Microservices Architecture.
    • Strong DevOps methodology.
    • Web of Things integration.
    • Event-Driven real-time communication.
    • Kubernetes (k3s) for deployment.

Some Stats

Stats
Contributions
Languages

Contact Me

Email

Pinned Loading

  1. age-ml age-ml Public

    An Agentic framework for Data-Centric AutoML

    HTML

  2. revue-org/revue revue-org/revue Public

    A distributed real-time system for video surveillance

    TypeScript 11 5

  3. PPS-22-satify PPS-22-satify Public

    A pure functional Scala SAT solver

    Scala 10

  4. asmd-23 asmd-23 Public

    Tasks covering some topics of Advanced Software Modelling and Design course @ UniBo

    Scala 2

  5. satellites-optimization-algorithms satellites-optimization-algorithms Public

    Python 4

  6. JBmanu/OOP20-space-s JBmanu/OOP20-space-s Public

    Name game -> SpaceSurvival

    Java 2