Hanneli is a software developer. With experience in Java, C++ and Ruby, she works mostly with backend development and project architecture. She contributes to some open source projects and organises Cassandra, Neo4j, Science and Rust meetups in Sao Paulo. She enjoys spreading the knowledge and learning new topics in conferences around the world. She also likes coffee, GIFs, Lego and Mathematics.

• social
• twitter

2017 -Rust for Java developers

• ► Video
• #TALK

A quick introduction to the Rust Language. Code comparisons between Java and Rust, compiler features, type system, environment and integrating the two languages.

2017 -Notes on Type Theory for absolute beginners

• ► Video
• #TALK

One important subject we analyse in languages is its type system. Having a general overview of a type system provides information about the language structure, possible optimisations and may help us to understand how statements are evaluated. Those are topics that we shall consider for when creating a new project. This talk will provide a gentle introduction to type theory, explaining step by step how we transform source code into logical statements.