Networks and Systems Summer School


Aim & Focus Areas

Network-based systems are an essential part of the modern life: we depend on complex systems in different scales from small embedded mobile devices connected to the Internet to large distributed computer systems. Performance, correctness, security, and dependability of these systems are of vital importance for the today’s modern society. The world-class invited speakers of this summer school share their knowledge and experience on different aspects of these compelling challenges, including real-time analysis of network traffic, software-defined networking and conformance testing for communicating systems.

Target Audience

The intended audience of the summer school are researchers and graduate students with some research background in computer science and engineering or closely related fields.


General  Chair:

Mohammad Morrovati 

Scientific Organization Committee:

Local Organization Chair:

Maryam Hejazinia

Dates: 13-16 August, 2018


Tehran Institute for Advanced Studies,
Khatam University,
Ground floor,
#30, Hakim Azam Ave,
Shiraz Shomali Street,
Molla Sadra Ave,
Tehran, Iran

Registration Deadline:  August 6

Tuition :

General: 1,000,000 Toman

Students: 500,000 Toman

(Payable at the first day of the Summer School)

Scholarships for strong candidates are available.

Registration is closed. For urgent registration requests, please contact one of the scientific program chairs.

Photo Gallery



Sadegh Aliakbary Shahid Beheshti University

Title of Presentation: Adaptive Modeling of Complex Networks (Slides)

Sadegh is an assistant professor in the Computer Science and Engineering department of Shahid Beheshti University. He has received his PhD from Sharif University of Technology. His research interests includes complex networks, network modeling, social network simulation, network mining, and data science.



 Mohammad Alizadeh – MIT

Title of Presentation: Towards Network Systems that Improve with Experience (Slides)

Mohammad Alizadeh is an Assistant Professor in the Department of Electrical Engineering and Computer Science (EECS) at MIT, and a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL). He completed his graduate studies at Stanford University, earning his Ph.D. in electrical engineering in 2013, and then spent two years at Insieme Networks (a datacenter networking startup) and Cisco before joining MIT. Mohammad’s research interests are in the areas of computer networks and systems. His current research focuses on network protocols and algorithms for large-scale datacenters, programmable switching architectures, and learning-based networked systems. Several solutions from Mohammad’s research have been implemented in open-source and commercial systems (e.g., DCTCP in Linux and Windows, CONGA in Cisco’s flagship datacenter switching products) and have been adopted by industry standards. Mohammad is a recipient of the NSF CAREER Award (2018), SIGCOMM Rising Star Award (2017), Alfred P. Sloan Research Fellowship (2017), Google Faculty Research Award (2016 and 2018), and multiple best paper awards.

Hamid Bagheri – University of Nebraska-Lincoln

Title of Presentation: Practical, Lightweight Formal Analysis of Software Systems
Hamid Bagheri is an Assistant Professor in the Department of Computer Science and Engineering at University of Nebraska-Lincoln. He is a faculty associate of the Institute for Software Research (ISR) at the University of California, Irvine. Bagheri is a co-director of the ESQuaReD Laboratory at UNL. Prior to joining UNL, he was a project scientist in ISR at University of California, Irvine, and also a postdoctoral research fellow at Massachusetts Institute of Technology. He obtained his PhD in Computer Science from University of Virginia in 2013. His research interest lies in Software Engineering and Formal methods, with a focus on advancing software reliability by developing new methods and tools relying on concepts from fields like lightweight formal methods, software synthesis, model-driven development, and software architecture. His publications in several conferences have been recognized as best papers.

 Pieter Cuijpers – Eindhoven University of Technology

Title of Presentation: Ethernet TSN, and the worst-case response time of credit-based shaping (Slides)

Pieter Cuijpers is an Assistant Professor in the System Architecture and Networking Research group at Eindhoven University of Technology (TU/e). He received his MSc in Electrical Engineering and his PhD in Computer Science from TU/e in 2000 and 2004 respectively. After developing a process algebra for hybrid systems (HyPA), his current research interests include the application of quantitative formal methods to cyber physical systems, with a focus on performance analysis and scheduling of distributed embedded systems. Important techniques that play a role in this are:

  • max-plus algebra and dataflow modeling
  • event-based modeling and simulation
  • axiomatic reasoning about execution intervals

Currently, Pieter is supervising three PhD students, in the rCPS project on data-intensive sensing (Jingyue Cao), the Awesome project on evolution of software components (Nan Yang), and the RWS project on a platform for sharing mobility data (Jeroen Redegeld).

 Yashar Ganjali– University of Toronto

Title of Presentation: Evolution of the Internet: Past, Present, and The Future

Yashar Ganjali is an associate professor of computer science at the University of Toronto. He is a member of Computer Systems and Networks Group. He received his BSc in Computer Engineering from Sharif University of Technology, and his MSc in Computer Science from University of Waterloo. He completed his PhD in Electrical Engineering at Stanford University. His PhD dissertation studied the buffer sizing problem in Internet core routers, and showed the possibility of reducing buffer sizes from millions of packets to just a few packets in Internet core routers.
Dr. Ganjali’s research interests include packet switching architectures/algorithms, software defined networks, data center networking, congestion control, network measurements, and online social networks. He has received several awards for his research including best paper award in Internet Measurement Conference 2008, best paper runner up in IEEE INFOCOM 2003, best demo runner up in SIGCOMM 2008, first and second prizes in NetFPGA Design Competition 2010, Cisco Research Award, and a Distinguished Faculty Award from Facebook.


Fatemeh Ghassemi –  University of Tehran

Title of Presentation: Behavioral Model Identification and Classification of Network Applications( Slides)
Fatemeh Ghassemi has received her Ph.D in Software Engineering from Sharif university of technology in 2011, and in Computer Science from Vrije Universiteit of Amsterdam in 2018. She is an assistant professor at University of Tehran since 2012, supervising the Formal Methods laboratory. Her research interest includes formal methods in software engineering, protocol verification, model checking, process algebra, software testing, and wireless systems.

 Hossein Hojjat Rochester Institute of Technology

Title of Presentation: Software Synthesis for Networks (Slides)

Hossein Hojjat is an assistant professor in the Computer Science department at the Rochester Institute of Technology (RIT). Before joining RIT, he was a postdoctoral researcher at Cornell University. He earned a PhD in Computer Science from EPFL in 2013. His research interests center on program synthesis and verification.

Srinivasan Keshav – University of Waterloo

Title of Presentation: Research Methods in Networks and Systems (Slides)

Srinivasan Keshav is a Professor of Computer Science at the University of Waterloo. He received a B.Tech in Computer Science and Engineering from IIT Delhi in 1986 and Ph.D. in Computer Science from the University of California, Berkeley in 1991. He was subsequently an MTS at AT&T Bell Labs and an Associate Professor at Cornell. In 1999 he left academia to co-found Ensim Corporation and GreenBorder Technologies Inc. He has been at the University of Waterloo since 2003, holding first a Canada Research Chair and then the Cisco Chair in Smart Grid. His honours include being named ACM Fellow and IEEE Senior Member, two Test of Time awards from ACM SIGCOMM, and best paper awards at ACM SIGCOMM, MOBICOM, and eEnergy. He is the author of two graduate textbooks on computer networking and has served both as Chair of ACM SIGCOMM and as Associate Dean of Graduate Studies in the Faculty of Mathematics, University of Waterloo.

 Mohammad Mousavi University of Leicester

Title of Presentation: Conformance Testing Networked Applications: Theory and Practice (Slides:  Part 1 , Part 2)

Mohammad got his bachelors and masters degree in Computer Engineering in 1999 and in Software Engineering in 2001, respectively, both from Sharif University of Technology, Iran and his Ph.D. in Computer Science from Eindhoven University of Technology, The Netherlands in 2005. Since then he held positions at Reykjavik University (postdoctoral researcher), Eindhoven University of Technology (assistant and associate professor), Delft University of Technology (guest faculty member), Halmstad University (professor of Computer Systems Engineering), and Chalmers / University of Gothenburg (guest professor of Software Engineering). He has had various leadership positions in his past appointments, such as managing educational programs, leading research teams, and leading research-centre-building initiatives. Mohammad’s main research area is in model-based testing, particularly applied to software product lines and cyber-physical systems. He has been leading several research initiatives and industrial collaboration projects on healthcare and automotive systems their validation, verification, and certification.


  Maarten van Steen– University of Twente

Title of Presentation: Why Are Distributed Systems so Complicated and What Can We Do about It? (Slides)

Maarten vanSteen is professor at the University of Twente. He is specialized in large-scale distributed systems, now concentrating on very large wireless distributed systems, notably in the context of crowd monitoring and privacy-enhancing techniques. Next to Internet-based systems, he has published extensively on distributed protocols, wireless (sensor) networks, and gossiping solutions.

Maarten van Steen is associate editor for IEEE Internet Computing, field editor for Springer Computing, and section editor for Advances in Complex Systems. He authored and co-authored three textbooks, including “Distributed Systems” (with Andrew Tanenbaum), now its 3rd edition, as well as an introduction to Graph Theory and Complex Networks. More on his teaching and research can be found on

Maarten van Steen

It is seldom that I manage to attend all lectures at a summerschool or workshop where I am one of the invited speakers. The fact that I spent every day at the school, missing only the speakers on the first day (when I was traveling to Iran), says a lot about the high standards maintained by TIAS. Inspiring and rich on content, with lots of high-quality interactions. One of those events that I will not easily forget.


Marjan Sirjani –  Mälardalen University, Reykjavik University

Title of presentation: Building Dependable Cyberphysical Systems using Timed Actors
Marjan Sirjani is a Professor and chair of Software Engineering at Mälardalen University, and the leader of Cyber-Physical Systems Analysis research group. She is also a part-time Professor at School of Computer Science at Reykjavik University. Her main research interest is applying formal methods in Software Engineering. She works on modeling and verification of concurrent, distributed, and self-adaptive systems. Marjan and her research group are pioneers in building model checking tools, compositional verification theories, and state-space reduction techniques for actor-based models. She has been working on analyzing actors since 2001 using the modeling language Rebeca ( Rebeca and its extensions are designed to bridge the gap between model-based software development and formal analysis, and has been used for analyzing different network and system applications. Her research is now focused on safety assurance and performance evaluation of self-adaptive systems, in which she is collaborating with Ptolemy group at UC Berkeley. Marjan has been the PC member and PC chair of several international conferences including SEFM, iFM, Coordination, FM, FMICS, SAC, FSEN, and guest editor for special issues of the journals Science of Computer Programming and Fundamenta Informaticae. Before joining academia as a full-time faculty, she has been the managing director of Behin System Company for more than ten years, developing software and providing system services. Marjan served as the head of the Software Engineering Department of School of Electrical and Computer Engineering at the University of Tehran prior to joining the School of Computer Science at Reykjavik University in 2008.


August 13

08:30-09:00 Arrival and registration

09:00-9:15 Opening

09:15-10:30 Yashar Ganjali: Evolution of the Internet: Past, Present, and The Future
10:30-11:00 Coffee / Tea Break
11:00-11:45 Yashar Ganjali: Evolution of the Internet: Past, Present, and The Future
11:45-12:00 Leg stretcher
12:00-12:30 Yashar Ganjali: Evolution of the Internet: Past, Present, and The Future

12:30-14:00 Lunch

14:00-15:00 Mohammad Mousavi: Conformance Testing Networked Applications: Theory and Practice
15:00-15:15 Coffee / Tea Break
15:15-16:15 Mohammad Mousavi: Conformance Testing Networked Applications: Theory and Practice
16:15-16:30 Leg stretcher
16:30-17:00 Mohammad Mousavi: Conformance Testing Networked Applications: Theory and Practice


August 14

09:00-10:00 Hossein Hojjat: Software Synthesis for Networks
10:00-10:30 Coffee / Tea Break
10:30-11:15 Hossein Hojjat: Software Synthesis for Networks
11:15-11:30 Leg stretcher
11:30-12:15 Hossein Hojjat: Software Synthesis for Networks

12:15-14:00 Lunch

14:00-15:00 Sadegh Aliakbary: Adaptive Modeling of Complex Networks
15:00-15:30 Coffee / Tea Break
15:30-16:30 Fatemeh Ghassemi: Behavioral Model Identification and Classification of Network Applications
16:30-17:00 Leg Stretcher
17:00-18:00 Srinivasan Keshav (on Skype): Research Methods in Networks and Systems


August 15

09:00-10:00 Hamid Bagheri: Practical, lightweight formal analysis of software systems
10:00-10:30 Coffee / Tea Break
10:30-11:30 Marjan Sirjani: Building Dependable Cyberphysical Systems using Timed Actors
11:30-11:45 Leg stretcher
11:45-12:15 Marjan Sirjani: Building Dependable Cyberphysical Systems using Timed Actors

12:15-14:00 Lunch

14:00-15:00 Panel (Hamid Bagheri, Hossein Hojjat, Mohammad Mousavi, Marjan Sijani, Maarten van Steen, Moderator: Sadegh Aliakbary)
15:00-15:30 Coffee / Tea Break
15:30-16:30 Mohammad Alizadeh (on Skype) : Towards Network Systems that Improve with Experience
16:30-18:30 Social Event


August 16

09:00-10:00 Maarten van Steen, Why are distributed systems so complicated and what can we do about it?
10:00-10:30 Coffee / Tea Break
10:30-11:15 Maarten van Steen, Why are distributed systems so complicated and what can we do about it?
11:15-11:30 Leg stretcher
11:30-12:15 Maarten van Steen, Why are distributed systems so complicated and what can we do about it?

12:15-14:00 Lunch

14:00-15:00 Pieter Cuijpers, Ethernet TSN, and the worst-case response time of credit-based shaping
15:00-15:15 Coffee / Tea Break
15:15-16:15 Pieter Cuijpers, Ethernet TSN, and the worst-case response time of credit-based shaping
16:15-16:30 Leg Stretcher
16:30-17:00 Pieter Cuijpers, Ethernet TSN, and the worst-case response time of credit-based shaping