Bertrand Meyer

Head of SE lab and visiting professor at IU

Bertrand Meyer received a Master's Degree in Engineering from the École Polytechnique in Paris, the second Master's Degree from Stanford University, and a PhD from the Université de Nancy in Nancy, Meurthe-et-Moselle.

He had a technical and managerial career for nine years at Électricité de France, and for three years was on the faculty at the University of California, Santa Barbara. Since October 2001, he has been Professor of Software Engineering at ETH Zürich, the Swiss Federal Institute of Technology, where he pursues research on building trusted components (reusable software elements) with a guaranteed level of quality.

His other activities include being adjunct professor at Monash University in Melbourne, Australia (1998–2003) and membership of the French Academy of Technologies. He is also active as a consultant (object-oriented system design, architectural reviews, technology assessment), trainer in object technology and other software topics, and conference speaker. As former head of the ETH Computer Science department, he is one of the founders and the current president of Informatics Europe, the association of European computer science departments. 

Eugene Zuev 

Professor at SE lab at IU

Eugene Zouev graduated from the Computer Science Department of Moscow State University and got his doctoral degree (PhD) there in 1999. He worked in a number of research and development institutions,  at Moscow University and in some other universities and companies abroad. For many years, he gave lectures and did research at Moscow University and in several reputable European universities, such as ETH Zurich (2000-2006) and EPFL Lausanne (2009-2010).


Nestor Catano

Professor at SE lab at IU.

Nestor Catano is Computer Scientist, a Formal Methods Researcher and a Lecturer in Software Engineering and Formal Methods. He ibtained his Master degree and a PhD degree in Computer Science from University of Paris, and INRIA Sophia Antipolis, in France. He is currently an Associate Professor at Innopolis University in Kazan, Tatarstan, Russian Federation. He has previously been a lecturer at the University of Madeira in Portugal, where he participated in the CMU-Portugal program. He has been an invited professor to CMU in Pittsburgh in 2011 and in 2015. He has been recruited and been the main supervisor of 3 PhD students working on privacy and security of social networking sites (Sorren Hanvey), Model-Checking (Ijaz Ahmed), and Code Generation for Event-B (Victor Rivera). They have all successfully graduated from the PhD program in Informatics of The University of Madeira, Portugal.  He is the proud main designer and co-implementer of the EventB2Java Java code generator for Event-B. EventB2Java is implemented as a Rodin plug-in. He also designed and implemented sibling tools EventB2JML and B2JML. These tools are implemented in Java as plug-ins of Eclipse and ABToools, respectively. In 2011, He received research funding from the SEIF research program of Microsoft Research to port Event-B refinement proof obligations to Dafny and Boogie. As a result of this work,he designed and implemented the EventB2Dafny tool (all tools are reachable from In early days, he designed and implemented the Chase tool, a static checker of JML’s modifiable clause that checks Java programs for side effects. he has been the project coordinator of several European national research projects on Formal Methods, Concurrency, and Software Engineering


Victor Rivera

Assistant professor at Innopolis University

His research interests include Formal Models for developing and verifying software, Constraint Satisfaction Problems, and Concurrent Constraint Programming. He has developed several tools for the combination of formal techniques in the development of software helping the improvement of its quality.

Víctor holds a Ph.D. degree in Informatics from the University of Madeira, Portugal (2011-2014), a master degree (2009-2010) and a undergraduate degree (2003-2009) in Computer Science and Engineering from the Javeriana University, Cali/Colombia. In the past, he was involved in the development of a tool for the Materials and Process Simulation Center (MSC) at Caltech, and different research projects using Constraint Programming. He has also worked as a research assistant at the Madeira Interactive Technologies Institute (Madeira-ITI), designing, specifying and developing tools for the combination of formal methods in the development of software. Currently, Víctor is also part of the AVISPA research group.


Alexandr Naumchev

PhD researher at Innopolis University

His research interests include applying formal methods in software engineering, modeling self-adaptive systems, software models verification.

Alexandr holds a degree in Mathematics from Novosibirsk State University (September 2003 - June 2008). He also is a Master of Science in Information Technology (Software Engineering), Carnegie Mellon University (August 2013 – August 2014).

Alexandr has tried himself in different professional areas, including banking (April 2008 – March 2009) and credit risks analysis (September 2007 – March 2008). In the Information Technology field he worked as a Software Intern (December 2005 – May 2006), Technical Writer (May 2009 - April 2010) and finally as a Software Engineer in Parallels (April 2010 – August 2013). His professional interests included mostly software security assessment, developing high-performance software and reversing software in general.

Daniel de Carvalho

Post-doctoral researcher in the Software Engineering lab at IU.

He has a PhD degree in Mathematics from the University of Aix-Marseille-2, France. He worked as a lecturer and as a researcher in the Universities of Aix-Marseille-2, Paris-7, Paris-13, in the INRIA (the French National Institute for computer science and applied mathematics), in the Univerity of Roma-3 (Italy) and in the University of Copenhagen (Denmark). He currently works on static verification of programs. He is also interested in the following topics: lambda-calculus, Linear Logic, Term Rewriting Systems, denotational semantics and computational complexity.


Alexandr Tchichigin

Researcher at SE lab and SSE lab of Innopolis University.

His research interests include formal methods and models in software construction and verification, formal logic and type systems, parallel, concurrent and distributed programming.

Alexander holds a degree in Physics from Irkutsk State University (September 2003 - June 2008).

Alexander has broad industrial experience as a software developer in such areas as low-level C/C++ programming and web-development in Java, Ruby, Python and Clojure. He is also regular participant in ICFP Contest programming in Haskell.

Сайт находится в технической разработке