Research Portal

Lehre Forschung Organisation

Person profile

Associate Prof. Dipl.-Ing.in Mag.a Dr.in techn.

Ekaterina Benavente-Fokina

PhD B.A.

Phone +43 1 58801 10422

E-Mailekaterina.fokina@tuwien.ac.at

Assigned

E913	E104-02

Business Card

https://orcid.org/0000-0002-4598-458X

Research department

Name	Management/Member
Works Council of the Scientific University Staff	Member

Research area

Name	Management/Member
Research Unit of Computational Logic	Member

Keywords

Keyword (German)	Keyword (English)
Theoretische Informatik	Theoretical Compurter Science
mathematische Logik	mathematical logic
Berechenbarkeitstheorie	Computability theory

Research Focal Areas

Research focus	Research field	Keywords	Percentage
Information and Communication Technology	Computational Intelligence	Grundlagen von Informationssystemen, Computational Logic und automatische Deduktion, Logik, Spezifikation und Wissensrepräsentation, Advanced Information Integration, Hard- und Software Verifikation (CAV), Semantic Web und Intelligente Agenten, Algorithmen, Komplexität und Optimierung, Natural Computing	100

Faculty focus

Faculty focus	Percentage
Diskrete Mathematik und Geometrie	100

Area of expertise according to Statistik Austria

Code	Area of expertise (German)	Area of expertise (English)
1111	Logik	Logic

Reference Projects

Title	Funding program	Function	Website	From	Until
National, FWF - The Science Fund
Equivalence relations in computable model theory	Single project	Principal Investigator		01.10.2015	30.09.2018

National award

Awarding Organization	Program	Function	Name	From	Until	Website	Project ID
FWF - Der Wissenschaftsfonds	Richter-Programm		Automatic Structures among computable structures	06.01.2012	29.02.2016		663697

Membership in committee

Committee	Description	Location	Function	From-To	Comment
Committees at the TU Wien	Award Committee for VCLA International Student Awards	Austria	Member	09/2015 -
Other	Steering Committee for Workshop on Computability Theory	*	Member	01/2010 -

Journal participation

Title	Classification	Referenced	Function	From-To	Comment
Algebra and Logic	unclassified	Yes	Reviewer	06/2006 -
Annals of Pure and Applied Logic	SCIE (Science Citation Index Expanded)	Yes	Reviewer	12/2010 -
Journal of Symbolic Logic,	unclassified	Yes	Reviewer	03/2012 -
Mathematical Structures in Computer Science	unclassified	Yes	Editor	09/2015 -	Editor of a Special Issue
Notre Dame Journal of Formal Logic	unclassified	Yes	Reviewer	02/2014 -

Support | Policies | Legal Notice | Data Privacy

TU Wien - Karlsplatz 13 | A-1040 Vienna | phone +43 (1) 58801-0