Community Profile


Ioannis Filippidis

California Institute of Technology

Active since 2012
Synthesis of distributed systems with formal guarantees of correctness.


  • Personal Best Downloads Level 3
  • First Review
  • 5-Star Galaxy Level 5
  • GitHub Submissions Level 2
  • First Submission
  • Knowledgeable Level 1
  • First Answer

View badges

Content Feed

View by

Too many markers!
In order to avoid having to keep track of all handles, there is a simple alternative. You can use the 'HandelVisibility' argu...

plus de 9 ans ago | 1

| accepted