I have the pleasure of leading an excellent team of phenomenal young researchers in computing and math. If you want to join us, read this page. Our research group is called ALPACAS (Algorithms, Logic, Program Analysis, Cryptocurrencies and Smart Contracts) and every member is affectionately known as an Alpaca. We are an incredibly diverse lot, having members from Austria, Bangladesh, Brazil, China, Czechia, Egypt, Germany, Hong Kong, India, Iran, Kazakhstan, Pakistan, Russia, Rwanda, Spain, Taiwan, Turkmenistan and Vietnam. Current Alpacas are listed below. You can also take a look at our alumni and visitors.