Silvia Lizeth Tapia Tarifa is the leader of the Analysis of Complex Systems research program. She is working in the area of formal methods, where I apply and develop techniques for the prediction of behaviors in complex systems. Now a days, I am working with formal modeling and analysis of multicore architectures and memory layout to better understand data movement in parallel processing, trace-based semantics for concurrent and possible non-terminating programs to enable compositional reasoning about the behavior of distributed systems, and formal modeling concepts for resource usage in distributed systems to analyze resource management and service level agreement.
Scientific interests: Formal models, programming language semantics, complex systems, analysis, predictions
What triggers me scientifically: Curiosity, interesting problems and new knowledge.