Bonjour everyone, I'm looking for a research internship in order to complete my 2nd year of master.
I want to work on the formal verification of a parser interpreter using Rocq (formerly Coq) or Agda. A similar work has already been done ( https://arxiv.org/abs/1105.2576 ) and I'd like to extend it. I'm currently located in France. Thank you. Abdelkader R. BELLOUNDJA
_______________________________________________ PEG mailing list [email protected] https://lists.csail.mit.edu/mailman/listinfo/peg
