… 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 …

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

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

… 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 …

… 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 …

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

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