https://github.com/mciccale/mciccale
https://github.com/mciccale/mciccale
Last synced: 4 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/mciccale/mciccale
- Owner: mciccale
- Created: 2022-09-13T08:00:19.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2025-11-26T22:44:42.000Z (6 months ago)
- Last Synced: 2025-11-29T17:51:04.839Z (6 months ago)
- Size: 23.4 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Howdy! I'm Marco
=================
I'm a researcher in the field of programming language *theory*, *verification* and *implementation*.
Specifically, my research focuses on the analysis and verification of computer programs using
*abstract interpretation*, a mathematical framework for crafting safe-by-construction, static
program analysis tools.
Currently, I'm pursuing my Ph.D. @ [IMDEA Software Institute](https://software.imdea.org), as one of
the maintainers of the [Ciao](https://ciao-lang.org) programming language and environment, and a member
of the [CLIP Lab](https://cliplab.org) research group.
Useful pointers
---------------
If you want to know more about:
- *Ciao*: you can start by playing around with the [Ciao Playground](https://ciao-lang.org/playground),
a richly-featured Ciao version compiled to WebAssembly running in the browser.
- *Abstract interpretation*: these [slides](https://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/lecture_01-intro/Cousot_MIT_2005_Course_01_4-1.pdf)
of Patrick Cousot's course on abstract interpretation at MIT is a nice starting point!