Quantitative Verification Group

Anran Wang

I am a PhD student here since May 2024.

Before that, I studied MSc. Compute Science at Technical University of Munich, after graduating BSc. Information Systems (Best of the Year) at University of Hamburg, during which time I interned at CSIRO’s Data61 in Sydney, Australia studying topics in concurrency and had close contact and was inspired to study formal methods.

I am currently reading and learning predicate transformers, probabilistic or quantitative. At the moment, I am studying timed logic combined with probabilities and expectations. 

In my free time, I enjoy (crime and fantasy) novels and table tennis, also bike and paint water color from time to time. I can’t stay bored for too long, so I do various activities which sometimes I post at my personal page.

If you would like to chat about science, play table tennis together, or exchange book lists, do come by my office or write me a mail!