Banner
Home      Log In      Contacts      FAQs      INSTICC Portal
 
Documents

Event Chairs

Conference Chair


Leszek Maciaszek
Macquarie Univ., Australia and Wroclaw Univ. of Economics and Business
Poland


Brief Bio
Prof. Leszek A. Maciaszek is affiliated as Honorary Fellow at Macquarie University, Sydney, Australia and as Emeritus Professor at Wroclaw University of Economics and Business in Poland. Most recently he was Director of Institute of Business Informatics and Head of Department of Information Systems at the Wroclaw University. He holds Title of Professor awarded by the President of Poland. He worked as Visiting Professor/Scientist in more than 20 universities/research centers in countries on four continents; has authored about 200 publications (including Prentice-Hall and Pearson Addison-Wesley books, some translat ed from English to Chinese, Russian and Italian); was Editor or Co-Editor of about 50 volumes published by Springer and IEEE; served as expert, reviewer and advisor to international corporations, government bodies and ministries as well as reviewer and evaluator to European Commission projects. He is a Conference Chair in a number of renowned international conferences and leads or participates in EU funded projects. ... More >>

 

Program Co-Chairs


Massimo Mecella
Dipartimento di Ingegneria Informatica Automatica e Gestionale, Sapienza - Universita' Di Roma
Italy
http://www.dis.uniroma1.it/~mecella


Brief Bio
Not Available


Arend Rensink
University of Twente
Netherlands
https://fmt.cs.utwente.nl/~rensink


Brief Bio
Arend Rensink is a full professor on the chair for Software Modelling, Transformation and Verification at the department of Computer Science of the University of Twente. His research interest range from the application of software modelling in diverse domains (embedded systems, railway infrastucture, security and network protocols, to name a few) and the practice of model transformation (for which he developed and maintains the graph transformation-based tool GROOVE) to the formal underpinnings of software verification, using and studying techniques from process algebra, model-based testing, model checking and gr aph transformation. Regarding eduction, Arend is an enthousiastic teacher at Bachelor and Master level, and has served as Programme Director for Computer Science as well as Vice-Dean for Education. ... More >>

footer