Bartosz Milewski
Bartosz started as a physicist. He has a Ph.D. in quantum field theory. Then he got into programming, worked eight years for Microsoft as a software engineer implementing the search engine in Windows. He wrote a book about C++ and started a popular programming blog. He rediscovered his fascination with mathematics through Haskell. His blog turned into an online book on category theory for programmers.
Talks I've Given
-
A Taste of Type Theory
Featuring Bartosz Milewski
We use types in programming, often without realizing how deeply rooted they are in the foundations of mathematics. There is a constant flow of ideas from type theory to programming (and back). We are familiar with algebraic data types; inductive types, like lists or trees; we've heard of...
language -
Keynote: The Maths Behind Types
Featuring Bartosz Milewski
You often think of types as specifying data layouts in computer memory. You have bytes, shorts, floats, and arrays, which are very close to the metal. But then you have integers and Booleans, which are abstractions taken from math. And then there are algebraic data types, and function types....
scalax scala category-theory constructive-logic type-system types mathematics maths math bigdata
My Work
@bartoszmilewski has not provided any work info yet.
Social and Blogging
@bartoszmilewski has not provided social links yet.