Ioannis Filippidis
California Institute of Technology
http://www.caltech.edu/~ifilippi
Synthesis of distributed systems with formal guarantees of correctness.
Statistics
RANK
6,212
of 262,761
REPUTATION
6
CONTRIBUTIONS
0 Questions
1 Answer
ANSWER ACCEPTANCE
0.00%
VOTES RECEIVED
1
RANK
473 of 17,989
REPUTATION
3,316
AVERAGE RATING
3.70
CONTRIBUTIONS
10 Files
DOWNLOADS
128
ALL TIME DOWNLOADS
30315
RANK
of 113,757
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Your submissions were downloaded 100 or more times in a month
Awarded to Ioannis Filippidis on 01 Nov 2019
Publish your first review
Awarded to Ioannis Filippidis on 09 Oct 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
Publish your first submission
Awarded to Ioannis Filippidis on 09 Oct 2019
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
Content Feed
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 (한국어)