marcoantoniocorallo/jobscheduler-framework

Framework for job scheduling and processing - Advanced Programming assignment

Hello there!  I'm Marco Antonio

---

👨‍💻 I'm a computer scientist with a strong curiosity about the world, the universe and everything that happens inside it. ✨

🎓 I'm a MSc student @ UniPi, where I'm studying security and verification, by means of both theoretical CS and cybersecurity courses.

🌱 I'm currently learning how to develop smart contracts while improving my skills as a CTF player.

🔨 In my free time, I'm currently working on a simple framework for model checking in Rust

🚀 My latest (public) projects are mainly programming language related:

• MicroC: an LLVM-based compiler for a sublanguage of C;
• EsoCaml: an esoteric front-end for a simple functional language;
• Trustee: an extension for Fhree for supporting security primitives, taint analysis and information flow to prevent data leaks;

---