Simin Cai (not working at IDT anymore)

 Simin Cai is a PhD student at Mälardalen University. He received his bachelor degree in Software Engineering from Tongji University, China. He holds a MSc. degree in Applied Computer Technology from Tongji University, and a MSc. degree in Computer Science from Uppsala University, Sweden. 

Research topics of interest:

  • Real-time database management system design
  • Transaction modeling and analysis
  • Data modeling and analysis
  • Applied formal methods: exhaustive and statistical model checking, SAT solvers


Community service as Program Committee:

Junior Researcher Workshop on Real-Time Computing (JRWRTC), in conjunction with the International Conference on Real-Time Networks and Systems (RTNS) (2017)

Community service as reviewer: 

FMMDD(2016), COMSNETS(2017), JRWRTC(2017), SERENE(2017, 2018), ETFA(2018) 


Assisting the Database course (DVA234) in 2015, 2016 and 2017

My current research work focuses on the design of real-time databases and data management systems, especially on the application of formal methods in order to ensure various important properties, such as data consistency and temporala correctness. The formal methods applied so far in my research include exhaustive model checking, statistical model checking, and satisfiability solving.

More detailed work include: systematic specification of data aggregation processes, formal specification and analysis of transactional properties, and systematic design of real-time transaction-based systems. 


SAFARE(SAt-based Feature-oriented dAta aggREgation design)  is a tool for the specification and analysis of data aggregation processes, based on our proposed taxonomy DAGGTAX. The tool mplements a graphical user interface for the DAGGTAX-based speci cation, and automatically transforms the speci cations, and design constraints supplied by domain experts, into propositional  logic formulas, which are veri ed by the integrated Microsoft Z3 Theorem Prover.