Ioannis Filippidis
California Institute of Technology
http://www.caltech.edu/~ifilippi
Synthesis of distributed systems with formal guarantees of correctness.
Ioannis Filippidis's Badges
MATLAB Answers Badges
All
Knowledgeable Level 1 20 Jul 20171 of your answers has been accepted
Awarded to Ioannis Filippidis on 20 Jul 2017
First Answer 20 Jul 2017Provide your first answer ever to someone else's question
Awarded to Ioannis Filippidis on 20 Jul 2017
File Exchange Badges
All
First Submission 09 Oct 2019Publish your first submission
Awarded to Ioannis Filippidis on 09 Oct 2019
First Review 09 Oct 2019Publish your first review
Awarded to Ioannis Filippidis on 09 Oct 2019
Personal Best... 01 Nov 2019Your submissions were downloaded 100 or more times in a month
Awarded to Ioannis Filippidis on 01 Nov 2019
5-Star Galaxy Level 5 09 Oct 2019Your submissions received 25 five star ratings
Awarded to Ioannis Filippidis on 09 Oct 2019
GitHub Submissions... 09 Oct 2019Have 2 submissions connected to GitHub
Awarded to Ioannis Filippidis on 09 Oct 2019
MATLAB Answers Badges
AllKnowledgeable Level 1 20 Jul 2017First Answer 20 Jul 2017
1 of your answers has been accepted
Awarded to Ioannis Filippidis on 20 Jul 2017
Provide your first answer ever to someone else's question
Awarded to Ioannis Filippidis on 20 Jul 2017
File Exchange Badges
AllFirst Submission 09 Oct 2019First Review 09 Oct 2019Personal Best... 01 Nov 20195-Star Galaxy Level 5 09 Oct 2019GitHub Submissions... 09 Oct 2019
Publish your first submission
Awarded to Ioannis Filippidis on 09 Oct 2019
Publish your first review
Awarded to Ioannis Filippidis on 09 Oct 2019
Your submissions were downloaded 100 or more times in a month
Awarded to Ioannis Filippidis on 01 Nov 2019
Your submissions received 25 five star ratings
Awarded to Ioannis Filippidis on 09 Oct 2019
Have 2 submissions connected to GitHub
Awarded to Ioannis Filippidis on 09 Oct 2019
You can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)