Welcome to my academic blog and personal knowledge repository.
I am a Computer Science student in the Department of Computer Science at University of Bari Aldo Moro. My research interests span multiple areas of computer science, with a particular focus on formal methods, concurrent systems, and functional programming paradigms.
Research Interests
My primary academic focus centers on concurrent and parallel systems, investigating how processes interact, synchronize, and scale in distributed environments. I am particularly interested in developing a deeper understanding of the theoretical foundations and practical implementations of concurrent programming models.
Recently, I have developed a strong interest in functional programming and formal verification. I am actively exploring automated theorem provers, specifically Rocq (formerly Coq) and Lean, which enable rigorous mathematical verification of software correctness through dependent type theory.
This blog serves as a platform for sharing insights and documenting my learning journey in:
- Parallel and concurrent programming
- Functional programming paradigms and type theory
- Formal methods and automated theorem proving
- System design principles and architectural patterns
- Programming language theory and implementation
Technical Background
My work involves programming in multiple languages, each selected for its particular strengths and theoretical foundations:
- C, C++: For performance-critical systems programming and low-level optimization
- Java, Kotlin: For robust, platform-independent applications with strong type systems
- Python: For rapid prototyping, data analysis, and automation
- OCaml: For exploring functional programming and type-driven development
I maintain an active interest in emerging technologies and programming paradigms, continuously expanding my theoretical knowledge and practical skills.
Philosophy
I am a strong advocate for Free and Open Source Software (FOSS) and an active Linux user. I believe in the principles of software freedom and the collaborative nature of open-source development. When possible, I contribute to open-source projects and share my work with the broader community.
Contact
I welcome discussions on programming languages, formal verification, concurrent systems, and related topics in computer science. Feel free to reach out for academic collaboration or technical exchange.