Lars Kuhtz
linkedin icon

Рейтинг

Not rated

Lars Kuhtz

  • Страна
  • USA
  • Город
  • Greater Seattle Area
  • Образование
  • Augustana Hochschule Neuendettelsau, Central American University, El Salvador, Ruhr-University Bochum, Humboldt University of Berlin, Saarland University

Computer Scientist and Software Engineer with a passion for systems with strong correctness requirements.

I develop cloud services and verification tools related to formal methods, compiler correctness, security, cryptography, and algorithmic complexity.

I like logic, expressive types systems, and functional programming.

Участвовал в проектах