Mehran Moeini Jam

Institute of Logic and Computation, TU Wien, Austria
mehran[dot]jam[at]tuwien[dot]ac[dot]at

I am a first-year PhD student at Vienna University of Technology (TU Wien), working under the supervision of Professor Georg Weissenbacher and Professor Ezio Bartocci, and a member of the Rigorous Systems Engineering and TrustCPS research groups. I received my Master’s degree in Computer Science and Engineering from Sharif University of Technology, where I later served as a lecturer for two semesters, teaching the undergraduate course on Theory of Automata and Formal Languages. During my master’s studies, I had the privilege of working under the guidance of Professor Ali Movaghar and Professor Marjan Sirjani.

Research Interests

  • Theory of Automata and Formal Languages
  • Formal Specification and Verification
  • Theory of Distributed and Concurrent Systems
  • Operating Systems

Education

Sharif University of Technology, Tehran, Iran

Master of Science
Computer Engineering - Group of algorithms and computation
Thesis

Islamic Azad University, Tehran, Iran

Bachelor of Science
Computer Engineering - Software
Project
  • Title: Design and Implementation of a blockchain system for reliable medical record sharing

Publications

Compositional Verification of Timed Automata via Violation Assumptions

Mehran Moeini Jam, Hamed Kalantari, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar
38th International Conference on Computer Aided Verification (CAV 2026)

Teaching

Teaching

Sharif University of Technology

Instructor, Theory of Automata and Formal Languages (Undergraduate Course)


Teaching Assistance

Sharif University of Technology

Head Teaching Assistant, Theory of Automata and Formal Languages (Undergraduate Course)
Instructor: Professor Ali Movaghar

Head Teaching Assistant, Formal Verification (Graduate Course)
Instructor: Professor Ali Movaghar, Professor Mohammad Izadi

Head Teaching Assistant, Parallel Processing (Graduate Course)
Instructor: Professor Mohammad Ghodsi

Open Source Projects

TCompos screenshot

TCompos: Verifying correctness of real-time system models through compositional analysis

TCompos is a tool designed to verify the correctness of systems specified as networks of timed automata. Targeting timed safety properties, the tool introduces a new compositional framework based on assume-guarantee reasoning. The approach involves decomposing the network into an open-system component and an environment component, enabling reasoning about each part (almost) in isolation before analyzing their combined behavior together. By reducing the state-space size, the method can improve performance by multiple orders of magnitude, enabling the algorithm to verify correctness or detect violations early in the analysis.

GitHub   Source Code and Instructions  •  Zenodo Quick-Start Docker Image

Editorial and Reviewing

External Reviewer

  • QEST + FORMATS 2026
    • 23rd International Conference on Quantitative Evaluation of Systems (QEST 2026)
    • 24th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2026)

Commitment to an Inclusive Community

Through my years as a graduate student and subsequently as an early-career instructor, my interaction with the student community has been notably extensive. This was primarily facilitated through involvement in numerous courses and my role as head of the student union while pursuing my master’s degree. It has gradually deepened my understanding of the vital importance of an all-inclusive environment, where everyone feels supported and valued.

I firmly believe in creating a learning environment where every student, especially the younger generation grappling with self-doubts, feels accepted and part of the community. Life on campus beyond the classroom is equally important, and through the student union, we often sought to address concerns related to dormitory conditions, campus safety, and accessibility of facilities for all students.

Transitioning out of this phase of my life and focusing more on my research and teaching responsibilities has made me increasingly aware of my growing detachment from the day-to-day concerns of the students and evolving challenges faced by the student community. If you share similar concerns or face such issues yourself, as an undergraduate, graduate, or member of student organizations, please feel free to reach out to me for support, whether personal or academic.

Extracurricular

Beyond academics, I enjoy traveling with my wife and exploring new places together. During our time in Iran, we especially enjoyed discovering the beautiful historical, cultural, and natural attractions the Iranian cities had to offer. Outside academia, I have long been passionate about cinema and film culture. Of contemporary filmmakers, Damien Chazelle stands out to me the most, especially for 'Whiplash', which I consider a true modern masterpiece.

midnight-in-paris
whiplash
the-lobster