Ana Cristina Barroso is an Assistant Professor with the Department of Mathematics at the University of Lisbon. Her areas of research interest focus on the calculus of variations. She teaches undergraduate calculus and linear algebra courses.

She is also a member of CMAF, Center of Mathematics and Fundamental Applications.

Barroso holds a B.S. in Mathematics from the University of Lisbon, and M.S. and Ph.D. degrees in Mathematics from Carnegie Mellon University.

Paulo Veríssimo is a professor in the Computer Science department of the University of Lisboa Faculty of Sciences and director of the research laboratory LASIGE. Veríssimo’s areas of interest include architecture, middleware and protocols for distributed, pervasive and embedded systems, in the facets of real-time adaptability and fault/intrusion tolerance. He is author of more than 130 refereed publications in international scientific conferences and journals in the area, and co-author of five books.

He holds M.Sc. and Ph.D. degrees in Computer and Electronics Engineering from the Instituto Superior Técnico of the Technical University of Lisboa.