Forschungsportal

Lehre Forschung Organisation

Personenprofil

Projektass.in(FWF) Dipl.-Ing.in Mag.a Dr.in techn.

Ekaterina Benavente-Fokina

PhD B.A.

Telefon +43 1 58801 10422

E-Mailekaterina.fokina@tuwien.ac.at

Zugeordnet

E913	E104-02

Visitenkarte

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

Forschungsabteilung

Name	Leitung/Mitglied
Betriebsrat (DA) für das wissenschaftliche und künstlerische Universitätspersonal	Mitglied

Forschungsbereich

Name	Leitung/Mitglied
Forschungsbereich Computational Logic	Mitglied

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
Theoretische Informatik	Theoretical Compurter Science
mathematische Logik	mathematical logic
Berechenbarkeitstheorie	Computability theory

TUW Forschungsschwerpunkte

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
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

Fakultätsschwerpunkte

Fakultätsschwerpunkt	Prozent
Diskrete Mathematik und Geometrie	100

Fachgebiete nach Statistik Austria

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1111	Logik	Logic

Referenzprojekte

Titel	Förderprogramm	Funktion	Webpage	Laufzeit von	Bis
National, FWF - Der Wissenschaftsfonds
Equivalence relations in computable model theory				01.10.2015	30.09.2018

Nationale Auszeichnungen

Verleihende Organisation	Programm	Funktion	Name	Von	Bis	Webseite	Projekt ID
FWF - Der Wissenschaftsfonds	Richter-Programm		Automatic Structures among computable structures	06.01.2012	29.02.2016		663697

Mitgliedschaft in Gremien

Gremium	Bezeichnung	Sitz	Funktion	Von-Bis	Bemerkungen
Gremien an der TU Wien	Award Committee for VCLA International Student Awards	Österreich	Mitglied	09/2015 -
Sonstige	Steering Committee for Workshop on Computability Theory	*	Mitglied	01/2010 -

Mitarbeit an einer Fachzeitschrift

Titel	Klassifizierung	Referenziert	Funktion	Von-Bis	Kommentar
Algebra and Logic	unklassifiziert	Ja	Reviewer	06/2006 -
Annals of Pure and Applied Logic	SCIE (Science Citation Index Expanded)	Ja	Reviewer	12/2010 -
Journal of Symbolic Logic,	unklassifiziert	Ja	Reviewer	03/2012 -
Mathematical Structures in Computer Science	unklassifiziert	Ja	Editor	09/2015 -	Editor of a Special Issue
Notre Dame Journal of Formal Logic	unklassifiziert	Ja	Reviewer	02/2014 -

Support | Policies | Impressum | Datenschutz

Technische Universität Wien - Karlsplatz 13 | 1040 Wien, Österreich | Tel. +43-1-58801-0 | Fax +43-1-58801-41088