Download Curriculum Vitae

Daria Stepanova
(Dr. techn.)
Curriculum Vitae
Í
Max Planck Institute of Informatics
Saarbücken, Germany
H +49 176 2786 4724
T +49 681 9325 5004
B [email protected]
http://people.mpi-inf.mpg.de/ dstepano/
Personal Information
Born May 7, 1988 in St. Petersburg, Russia
Nationality Russian
Languages Russian (native speaker), English (proficient user), German (upper-intermediate)
Education
07/11–04/15
Faculty
Program
Thesis
Research area
Supervisor
Co-supervisor
PhD student at Vienna University of Technology.
Informatics
Mathematical Logic in Computer Science
Inconsistencies in Hybrid Knowledge Bases
Logic Programming, Description Logics, Inconsistency Management
O. Univ. Prof. Dr. techn. Thomas Eiter
Dr. Michael Fink
graduation with distinction
09/05–07/10 Diploma student at St. Petersburg State University.
equiv. to BSc + MSc
Faculty Mathematics and Mechanics
Specialization Applied Informatics
Thesis Computer-aided Resolution of Unsatisfiabilities in Ontologies
Supervisor Prof. Dr. techn. Boris Novikov
graduation with distinction
Scholarships and Awards
2011-2015 Scholarship for a Doctoral Program “Mathematical Logic in Computer Science”
2016-2018 Lise Meitner Award Fellowship of Max Planck Institute of Informatics
1/8
Continuing Education
10/06–07/07 Student at St. Petersburg State University.
Department of Linguistics
English for professionals
Level completed: advanced
10/11–12/11, Student at Vienna University of Technology.
10/12–12/12
German as a foreign language
Levels completed: A 2.1, B 2.2
Work Experience
10/15– Postdoctoral researcher at Max Planck Institute for Informatics (MPII),
present Germany, Saarbrücken.
Databases and Information Systems group
Learning Logical Formalisms beyond Horn Rules from RDF Graphs
07/11–07/15 Research assistant at Vienna University of Technology, Vienna, Austria.
Knowledge Based Systems group
Involved in projects:
Reasoning in Hybrid Knowledge Bases (FWF P20840)(2011–2012)
http://www.kr.tuwien.ac.at/research/projects/hybridkb/index.html
Evaluation of ASP Programs with External Source Access (FWF P24090)(2014–
2015) http://www.kr.tuwien.ac.at/research/projects/hexhex/
10/09–06/11 Specialist on system integration at “eKassir”, St. Petersburg, Russia.
Company deals with software for payment systems,
Team lead in technical support and remote assistance,
System installation and adjustment on the client’s side,
Business trips: Podgorica (Montenegro), Akkra (Ghana).
09/08–03/09 Research intern at Newcastle University, Newcastle-upon-Tyne, UK.
Involved in project: Trust Economics
https://wiki.cs.ncl.ac.uk/trusteconomics/TrustEconomics
Development of a knowledge-based system prototype for information security decisionmaking
10/07–08/08, Part-time tutor of English for corporate clients at American Language Mas04/09–10/09 ters (ALM), St. Petersburg, Russia.
2/8
Computer skills
{ Programming Languages
java, C, C++, Turbo Pascal 7.0, java script
{ Knowledge Based Systems
Description Logics ontologies (Protege, owl-api, owlcpp, Fact++), RDF, RDFS,
Answer Set Programming, HEX-programs
{ Operating Systems
Linux (Ubuntu), Microsoft Windows
{ Text Processing
LATEX, HTML, Microsoft Office
Additional Computer Experience
{ Plugin for Repairing Inconsistent DL-programs (C++) within dlvhex framework
https://github.com/hexhex/dlliteplugin
{ Participant at 3rd Angry Birds AI competition (http://www.aibirds.org),
Prague, Czech Republic as a member of the AngryHEX team
Ranked 7th out of 11 participants
{ Knowledge Base for Justified Information Security Decision-making based on
ISO 27002 (Information Security Standard) and UCISA Information Security
Toolkit (http://www.ucisa.ac.uk/istoolkit) (OWL Ontology Web Language, JOWL Java Script library for visualizing OWL-RDFS documents)
{ Diploma thesis project: Computer-aided Resolution of Unsatisfiabilities in Ontologies (Java)
Supervising Bachelor Theses
{ Andreas Humenberger (graduated April, 2014): Implementing Paracoherent Answer Set Semantics (co-supervised with Dr. Michael Fink)
Talks Given at Conferences and Workshops
Towards Nonmonotonic Relational Learning from Knowledge Graphs
26th Inductive Logic Programming Conference
London, United Kingdom, September, 2016
Towards Practical Deletion Repair of Inconsistent DL-programs
21st European Conference on Artificial Intelligence
Prague, Czech Republic, August, 2014
Towards Practical Deletion Repair of Inconsistent DL-programs
27th International Workshop on Description Logics
Vienna, Austria, July, 2014
3/8
Data Repair of Inconsistent DL-programs
23rd Joint International Conference on Artificial Intelligence
Beijing, China, August, 2013
Semantic Independence in DL-programs
6th International Conference on Web Reasoning and Rule Systems
Vienna, Austria, September, 2012
A Knowledge Base for Justified Information Security Decision-making
4th International Conference on Software and Data Technologies
Sofia, Bulgaria, July, 2009
A Knowledge Base for Justified Information Security Decision-making
(progress report)
Trust Economics Workshop
Newcastle-upon-Tyne, United Kingdom, December, 2008
Poster Presentations
Towards Nonmonotonic Relational Learning from Knowledge Graphs
26th Inductive Logic Programming Conference
London, United Kingdom, September, 2016
Inconsistenies in Hybrid Knowledge Bases (PhD Description)
14th International Conference on Principles of Knowledge Representation and
Reasoning
Vienna, Austria, July, 2014
Exploiting Support Sets for Answer Set Programs with External Evaluations
28th Conference on Artificial Intelligence
Quebec, Canada, July, 2014
AngryHEX: An Angry Birds-playing Agent based on HEX-Programs
Angry Birds AI competition (http://www.aibirds.org)
Prague, Czech Republic, August, 2014
Data Repair of Inconsistent DL-programs
23rd Joint International Conference on Artificial Intelligence
Beijing, China, August, 2013
Reviewing for Journals
{ Journal of Data Semantics (JoDS): 2015
{ Journal of Web Semantics (JWS): 2014
Reviewing for Conferences and Workshops
{ International Joint Conference on Artificial Intelligence (IJCAI): 2016
{ International Description Logic Workshop (DL): 2015
4/8
{ International Workshop on Nonmonotonic Reasoning (NMR): 2014
{ International Workshop on Reactive Concepts in Knowledge Representation (REACTKNOW): 2014
{ International Conference on Logic Programming and Nonmonotonic Reasoning
(LPNMR): 2013, 2015
{ AAAI Conference on Artificial Intelligence (AAAI): 2013
{ International Semantic Web Conference (ISWC): 2013
{ International Conference on Scalable Uncertainty Management (SUM): 2013
{ International Conference on Logic Programming and Nonmonotonic Reasoning
(LPNMR): 2013
{ Conference on Knowledge Engineering and Semantic Web (KESW): 2013, 2014,
2015
Program Committee Member
{ International Conference on Artificial Intelligence (AAAI): 2017
{ Workshop on Trends and Applications of Answer Set Programming (TAASP):
2016
{ Conference on Web Reasoning and Rule Systems (RR): 2016
{ European machine learning and data mining conference (ECMLPKDD): 2016
{ Conference on Knowledge Engineering and Semantic Web (KESW): 2013, 2014,
2015, 2016
Volunteer Work in Organizing Conferences and Public Events
{ Vienna Summer of Logic (VSL 2014), Vienna, Austria, July, 2014
{ Rhythmic Gymnastics European Championship, Vienna, Austria, May-June, 2013
{ 25th International Conference on Computer-aided verification (CAV 2013), St.
Petersburg, Russia, July, 2013
{ 6th International Conference on Web Reasoning and Rule Systems, Vienna, Austria,
September, 2012
Additional Information
Candidate for Master of Sports (rhythmic gymnastics)
According to the Unified Sports Classification System of Russian Federation
Certified fitness instructor (specialized in group classes)
Hobbies: volleyball, table tennis, ultimate Frisbee, biking.
References
- O. Univ. Prof. Dr. techn. Thomas Eiter
Vienna University of Technology,
Head of the Institute of Information Systems
Favoritenstraße 9-11, 1040 Vienna, Austria
5/8
Personal website: http://www.kr.tuwien.ac.at/staff/eiter/
Phone: +43 1 58801 18460
Fax: +43 1 58801 18493
Email: [email protected]
- Dr. Michael Fink
Vienna University of Technology,
Favoritenstraße 9-11, 1040 Vienna, Austria
Personal website: http://www.kr.tuwien.ac.at/staff/fink/
Phone: +43 1 58801 18465
Fax: +43 1 58801 18493
Email: [email protected]
6/8
Publication List
Hai Dang Tran, Daria Stepanova, Mohamed Gad-elrab, Jacopo Urbani, and Gerhard Weikum. Towards nonmonotonic relational learning from knoweldge graphs.
Inductive Logic Programming Conference (ILP 2016), 2016.
Mohamed Gad-elrab, Daria Stepanova, Jacopo Urbani, and Gerhard Weikum.
Exception-enriched rule learning from knoweldge graphs. 39th German Conference
on Artificial Intelligence, 2016.
Mohamed Gad-elrab, Daria Stepanova, Jacopo Urbani, and Gerhard Weikum.
Exception-enriched rule learning from knoweldge graphs. International Semantic Web Conference (ISWC 2016), 2016.
Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, Andrea Tucci, and Anton Wimmer.
Angry-hex: An artificial player for angry birds based on declarative knowledge bases.
IEEE Trans. Comput. Intellig. and AI in Games, 8(2):128–139, 2016.
Thomas Eiter, Michael Fink, and Daria Stepanova. Data repair of inconsistent
nonmonotonic description logic programs. Artif. Intell., 239:7–53, 2016.
Thomas Eiter, Michael Fink, and Daria Stepanova. Computing repairs of inconsistent
dl-programs over EL ontologies. J. Artif. Intell. Res. (JAIR), 56:463–515, 2016.
Thomas Eiter, Michael Fink, and Daria Stepanova. Computing repairs for inconsistent DL-programs over EL ontologies. In Proceedings of the 14th International
Conference on Logics in Artificial Intelligence (JELIA 2014), 426-441, 2014.
Thomas Eiter, Michael Fink, and Daria Stepanova. Towards practical deletion
repair of inconsistent DL-programs. In Proceedings of 21st European Conference
on Artificial Intelligence (ECAI 2014), 285-290, 2014.
Thomas Eiter, Michael Fink, , and Daria Stepanova. Towards practical deletion
repair of inconsistent DL-programs. In Proceedings of the 27th International
Workshop on Description Logics (DL workshop 2014), 169-180, 2014.
Thomas Eiter, Michael Fink, Christoph Redl, and Daria Stepanova. Exploiting
support sets for answer set programs with external computations. In Proceedings of
28th Conference on Artificial Intelligence (AAAI 2014), 1041-1048, 2014.
Daria Stepanova. Inconsistencies in hybrid knowledge bases. In Proceedings of
14th Doctoral Consortium on Knowledge Represenation (DC of KR 2014), 2014.
Thomas Eiter, Michael Fink, and Daria Stepanova. Data repair of inconsistent
DL-programs. In Proceedings of 23rd International Joint Conference on Artificial
Intelligence (IJCAI 2013), 2013.
Thomas Eiter, Michael Fink, and Daria Stepanova. Inconsistency management
for Description Logic Programs and beyond. In Proceedings of 6th International
Conference on Web Reasoning and Rule Systems (RR 2013), 1-3, 2013.
7/8
Thomas Eiter, Michael Fink, and Daria Stepanova. Semantic independence in
DL-programs. In Proceedings of 6th International Conference on Web Reasoning
and Rule Systems (RR 2012), 58-74, 2012.
Daria Stepanova, Simon E. Parkin, and Aad van Moorsel. A knowledge base for
justified information security decision-making. In Proceedings of 4th International
Conference on Software and Data Technologies (ICSOFT 2009), 326-331, 2009.
8/8