Rafael Farre Cirera

Rafael Farre Cirera is a Researcher at the Department of Mathematics within the Barcelona School of Informatics (FIB) at Universitat Politècnica de Catalunya (UPC). He specializes in mathematical logic, model theory, and algebra, with notable contributions to the study of valued fields and coding theory. His academic career includes a doctoral thesis (1993) on model theory for valued and ordered fields from the University of Barcelona.

Research Interests: Farre’s work focuses on foundational aspects of model theory, including stability theory, elimination of imaginaries, and the model theory of algebraic structures like almost real closed fields. He has also contributed to coding theory, particularly error-correcting codes and PGZ decoding algorithms. His educational research involves competency integration in engineering curricula and professional skills development in tertiary education.

Recent Contributions: Recent work includes studies on rank axioms, supersimplicity criteria, and Shelah tree-based ranking systems. Collaborations span international conferences (e.g., Barcelona Logic Meetings) and projects on educational innovation, such as integrating competencies across engineering curricula. He has served on scientific committees for events like the Model Theory of Fields symposium.

Labs/Teams: Affiliated with research groups including LOGPROG (Logic and Programming), GR-DCS (Distributed Control Systems), and BCN SEER (Barcelona Science and Engineering Education Research Group).