(See all users)
Contributions by role
Contributions by subject area
Research interests: Formal methods, security and privacy, big data analytics, computational systems biology
Recently, I extended my research into computational systems biology, where I aim to develop efficient algorithms and tools for the analysis of large biological systems.