High Assurance Software Lab. 
INESC TEC and Univ. of Minho
Braga, Portugal
ali (d0t ) shoker (at) inesctec (d0t) pt
TWITTER

I am a senior researcher at INESC TEC (HASLab research unit) and invited assistant professor at the Department of Informatics of University of Minho, Braga, Portugal. I did my PhD at University of Toulouse and visited IRIT (France), INSA de Lyon (France), and EPFL (Switzerland) twice in the past, hosted by Rachid Guerraoui.

I am interested in understanding, building, and improving Distributed Systems. 

Currently, I am working on relaxed consistency models in distributed systems (EC, CRDTs, etc.), Fault Tolerance, Security (BFT, Blockchain), and Edge/Fog Computing.

News. 
June 2017: I will be giving at talk at Curry On industrial conference on subject "There are no BFT Fans Anymore... About Secure Eventual Consistency".
June 2017: Interview on "There are no BFT Fans Anymore... About Secure Eventual Consistency".

Current Projects.
- EU H2020 LightKone project on edge computing. (Coordinator of INESC TEC & WP3).


Past Projects.

SyncFree EU FP7 project on Conflict-free Replicated DataTypes. Portugal, 2016. (Member)
- Tec4Growth SMILES Portuguese P2020 project on Internet of Things; Portugal, 2014. (Member)
- SocEDA, National Research Agency (ANR), France, 2013. (Member.)

Services.
- I am the organiser of HASLab InfoBlender seminar.

Program Committee.
- CloudCom 2017. The 9th IEEE International Conference on Cloud Computing Technology and Science.
- FCST 2017. The 11th International Conference on Frontier of Computer Science and Technology.
- CCGrid 2017. The 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing.
- PMLDC ECOOP 2017. The 2nd workshop on Programming Models and Languages for Distributed Computing.
- CloudCom 2016. The 8th IEEE International Conference on Cloud Computing Technology and Science.
- ICA3PP 2016. The 16th International Conference on Algorithms and Architectures for Parallel Processing.
- PMLDC ECOOP 2016. The first workshop on Programming Models and Languages for Distributed Computing.
- EuroSys 2014. EuroSys Shadow PC (live PC).
IEEE TCC 2014. IEEE Transactions on Cloud Computing journal.

Teaching.

- Reliable Distributed Systems, MSc course at the School of Engineering, University of Minho, Spring 2016.
"On the Three Vs of Big Data from a Quality of Data Perspective". Tutorial at NESUS Action winter school in Italy, 2017.
- Fundamentals of Distributed Systems "Next Generation Clouds - Powering the Cloud", PhD seminar invited talk at MAP-I, 2016.
- Reliable Distributed Systems, MSc course at the School of Engineering, University of Minho, Spring 2016.
- Functional Programming lab, undergraduate course at the School of Engineering, University of Minho, Fall 2016.

Advising.
PhD
2016-: Georges Younes, PhD at MAP-I (with Carlos Baquero).
2016-: Houssam Yactine, PhD at MAP-I (with José Carlos Bacelar Almeida).
2016-: Ziad Kassam, PhD at MAP-I (with Paulo Sérgio Almeida).
Graduate and Undergraduate
2016-17: Mohamad Baalbaki, Erasmus undergraduate at Minho University. 
2015: Georges Younes, MSc internship at HASLab,.