I'm Marzio, a computer science student at the University of Urbino "Carlo Bo".
Research Fellow at University of Urbino "Carlo Bo" (CTE SQUARE Project), developing AI models to recognize human activities using sensor data. Currently working on creating datasets for training and evaluating machine learning models for automatic activity recognition (HAR).
Skills:
- Languages: C, Python, Java, Dart (Flutter), Assembly, Prolog, Haskell, SQL, HTML, CSS;
- Technologies: WinMIPS64, TkGate2.0, Wireshark;
- Most frequently used Python libraries: Pandas, Scikit-learn, Scapy, NumPy, PyTorch, Matplotlib;
- Tools: Git, Oracle VM virtual box, JavaFX Scene Builder, Jupyter Notebook, NuSMV
- IDEs: Visual Studio Code, Apache NetBeans, Eclipse, gVim
Education:
- Master of Science in Computer Science and Digital Innovation with a focus on Artificial Intelligence, University of Urbino "Carlo Bo" (in progress)
- Bachelor of Science in Applied Computer Science (Engineering Track), University of Urbino "Carlo Bo"
My shared undergraduate thesis is titled 'A parsing algorithm in sentence logic'. In which, using induction, generalized induction, and the recursion theorem, along with abstract syntax trees and Tarski's semantics, the thesis proves the unique readability theorem for first-order logic formulas.