Speaker: Nicolas Klose

After finishing his MSc. in Mathematics at ETH, Nicolas Klose spent some time working as a consultant for cloud technologies and software development. He recently decided to return to ETH to pursue a Ph.D. in the Programming Methodology group. His research focuses on the inference of specifications for program verification, both with "classical" methods and ML.

After finishing his MSc. in Mathematics at ETH, Nicolas Klose spent some time working as a consultant for cloud technologies and software development. He recently decided to return to ETH to pursue a Ph.D. in the Programming Methodology group. His research focuses on the inference of specifications for program verification, both with "classical" methods and ML.

Contact

E-Mail: nicolas.klose@inf.ethz.ch