Clara Benac Earle
Ex-Ericsson CS Lab and model checking expert
Technical University of Madrid
Clara was first exposed to Erlang as a student from Spain who got the opportunity to do a master project at Ericsson CSLAB - the birthplace of Erlang. Having seen enough of Sweden, she decided to spread Erlang technology to the UK academy by pursuing a PhD degree at the University of Kent, after which she returned home to Madrid, Spain where she now works at the Technical University of Madrid. Her speciality is model checking Erlang programs, and now works together with other researchers in the European ProTest project on developing new cool Erlang development tools.
Clara Benac Earle is Giving the Following Talks
Hands-on session with the McErlang model checker
Following the talk on the McErlang Model Checker by Lars-Ake Fredlund, Clara Benac-Earle will provide a hands-on demonstration of the tool for those interested. Delegates will be shown how to install it onto their laptops and then they will be taken through some exercises to demonstrate its usage.
