Fernando Macías is a software engineer with expertise in model-based methodologies, formal methods and software design and implementation.
At Anzen, Fernando’s work focuses on ATICA, our model-based tool for safety analysis. Fernando is in charge of evolving and maintaining ATICA’s functionalities, as well as defining the underlying meta-models used in ATICA and its related projects. He also supervises the deployment of web and on-premises services at Anzen.