معرفی
Dr. Marco Eilers is a **Lecturer** in the **Department of Computer Science** at **ETH Zürich**, Switzerland. His research focuses on formal verification, programming languages, and cybersecurity, with particular expertise in smart contract verification for blockchain systems like Ethereum and Libra’s Move language. He has contributed to tools such as Viper’s symbolic execution backend and frameworks for modular program verification.
His work emphasizes practical applications of formal methods to ensure security and correctness in concurrent, distributed, and GPU-based systems. Key research areas include static analysis for information flow security, product program models, and SMT-based type inference for languages like Python. He is affiliated with the Professur für Software Technology at ETH Zürich’s CAB H 89 laboratory.
Publications highlight advancements in verifying real-world systems such as internet routers, GPU kernels, and blockchain smart contracts. Though no awards are explicitly listed, his contributions reflect significant impact in formal verification and programming language research.
Eilers’ advising and grants are not detailed here, but his involvement in cutting-edge projects like Igloo and modular product programs indicates active collaboration in distributed system verification and secure software development.
