Lajos Rónyai

• Formal methods in computing
• Internet Optical Infrastructure