Welcome to the webpage ofEkaterina KomendantskayaI am a lecturer at the School of Computing, University of Dundee. Research InterestsResearch Projects and GrantsPapers, Abstracts and Technical ReportsConference, Workshop and Seminar PresentationsPhD Thesis and First PostdocTeachingContactNews:I am looking for a PhD student to work on the topics of parallelism in automated theorem proving/ machine-learning in automated theorem proving. For more details, email me directly. |
|