… Brooklyn is the cofounder and CTO at Fission, where her team is building tools that puts local-first principles into the hands of all developers. She founded the Vancouver Functional Programming Meetup, and is the author of several Elixir …

… research team with Alfonso Pierantonio and Davide Di Ruscio. I am interested in all …

… all her degrees (BS, MS, and PhD) from Stanford University. …

… software libraries. Most (if not all) of my work is available on my GitHub …

… the rigorous use of software models and engineering principles in all software … all the tools at our disposal to build Better Software Faster. …

… (model checking), fuzzing, model based testing, and runtime verification across all …

… automation, given a program and a requirement, automatically prove or disprove that all …

… I am the Vice President for Programming Languages at Brown University in Providence, RI, USA. I’m not, really, but that’s what it says on my business card.

I believe tropical fruit are superior to all …

… is a solver-aided language that powers verification and synthesis tools for all …

… /) to a supported Oracle product. He believes that all languages should be equally fast …

… Dr. Marco T. Morazán joined Seton Hall in 1999. He did his undergraduate studies at Rutgers University and his graduate work at the City University of New York. At Seton Hall he teaches at all levels of the Computer Science curriculum …

… speaker at conferences all over the world. His mission is to fix software …