Community Profile

photo

Ioannis Filippidis


California Institute of Technology

11 total contributions since 2012

http://www.caltech.edu/~ifilippi
Synthesis of distributed systems with formal guarantees of correctness.

Contact

Ioannis Filippidis's Badges

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

Ioannis Filippidis's Badges

MATLAB Answers Badges

All
  • Knowledgeable Level 1Knowledgeable Level 1
    20 Jul 2017
  • First AnswerFirst Answer
    20 Jul 2017

File Exchange Badges

All
  • First SubmissionFirst Submission
    09 Oct 2019
  • First ReviewFirst Review
    09 Oct 2019
  • Personal Best Downloads Level 3Personal Best...
    01 Nov 2019
  • 5-Star Galaxy Level 55-Star Galaxy Level 5
    09 Oct 2019
  • GitHub Submissions Level 2GitHub Submissions...
    09 Oct 2019