معرفی
Rom Langerak is an Associate Professor at the University of Twente, affiliated with the Digital Society Institute and the Formal Methods and Tools department. His research bridges computer science and medical applications, focusing on timed automata modeling for healthcare diagnostics and treatment optimization.
- Key research areas: Formal Methods, Medical Informatics, Bioengineering, and Software Applications.
Recent work includes modeling sleep apnea diagnostics, cartilage regeneration, and cancer immunotherapy adverse events, emphasizing interdisciplinary collaboration between computational and biomedical domains. His publications highlight hybrid modeling techniques and in silico validation frameworks.
- Notable contributions: Timed Automata for Healthcare, True Concurrency in Verification, and Computational Biology.
۰مقاله منتشرشده
