Salomon Sickert

Salomon Sickert is a postdoctoral researcher at the Hebrew University of Jerusalem, where he works as a member of Orna Kupferman's research group. He holds a prestigious DFG fellowship and previously completed his doctoral studies at the Technical University of Munich under the supervision of Javier Esparza in 2019.

Dr. Sickert's research focuses on the foundations of algorithmic verification with the goal of developing more reliable software and systems. His work sits at the intersection of formal methods and theoretical computer science, with specific interests in:

• Automata theory and its applications
• Logic and formal verification techniques
• Model checking and synthesis of reactive systems
• Computational complexity theory
• Theorem provers and verification tools development

His publication record shows a strong trajectory in translating theoretical advances into practical verification tools. His recent work demonstrates a consistent focus on improving the efficiency and reliability of formal verification techniques, particularly in the translation between linear temporal logic and various types of automata. This research has direct applications in creating more robust software systems through formal methods.

Dr. Sickert has received recognition in the form of a DFG fellowship, supporting his current research endeavors. His work bridges theoretical computer science with practical software verification needs.

He has made significant contributions to several important verification tools including Owl (a comprehensive library for ω-words, ω-automata and linear temporal logic), Strix (a reactive synthesis tool), MoChiBA (for probabilistic model checking), and MoTraS (for modal transition systems). These tools have been adopted by the formal methods community and represent practical implementations of his theoretical research.