Vienna PhD School of Informatics
I just came across a new PhD funding opprtunity that I would like to share with my readers. As reported here and here, TU Vienna is launching a new, funded 3-year PhD programme for computer scientists....
View ArticleHats
Another interesting funding opportunity, this time with relation to Formal Methods. Checkout my About page, if you’re not yet familiar with Formal Methods!
View ArticleQuantum Workshops in Vienna 2009
Throughout this year there are two very nice workshops with relation to quantum computing (in a broad sense) scheduled to be held here in Vienna: 2nd Vienna Symposium on the Foundations of Modern...
View ArticleThe CERN Petition
A few days ago Austria’s minister for science and research Johannes Hahn has had the bright idea of optimizing Austria’s scientific spending by pulling out of CERN, the flagship institution of European...
View ArticleClik here to view.
Quantum Computing PhD
As some of you might already know, on October 1st I finally started to focus on my PhD in (roughly speaking) Quantum Computing by taking a sabbatical leave from TTTech in order to do research at Frank...
View ArticleClik here to view.
First Flight of Boeing 787!
Today the Boeing 787 took its first flight! It’s nice to see projects come to completion one has been working on for a while. After the Airbus A380 that’s the second one for me to watch that I’ve been...
View ArticleNew quantum paper released!
It took me a while, but finally my first quantum paper has been released to the arXiv! And it only took a little while longer to get it pubished in Phys. Rev. Lett. 108, 110502 (2012). The paper...
View ArticleClik here to view.
Wrestling with two quantum Merlins
UPDATE: A bug has been found in the proof, the paper has been withdrawn. — It has long been known, that if an all-powerful quantum wizard called Merlin can convince a quantum verifier called Arthur of...
View Article