Név:
dr. Vályi Sándor

Beosztása:
főiskolai docens

Tanszéki elérhetőség:

Matematikai és Informatikai Intézet E-06-os szoba

((42) 402-488/2342

* Nyíregyházi Főiskola TTIK Matematikai lés Informatikai Intézet,
4410, Nyíregyháza,  Sóstói út 31/B.

Fax: (42) 402-485

E-mail: valyis<qkac>nyf<potn>hu

Fogadóóra:

Csütörtök, 12.00—13:00

RÖVID SZAKMAI ÉLETRAJZ

Végzettség:

matematikus, 1993, KLTE (Debrecen) TTK

gazdaságinformatikus, folyamatban

Tudományos fokozat:

PhD, Debreceni Egyetem Matematika- és Számítástudományok Doktori Iskola,
Tudáskezelés elmélete és alkalmazásai program, 2009

Beosztásai:

ösztöndíjas, majd számítástechnikai munkatárs, KLTE TTK Matematikai és Informatikai Intézet, 1993-1999

e. tanársegéd, Debreceni Egyetem TTK Mat. és Inf. Intézet, majd Informatikai Kar 2000-2007

f. adjunktus, Debreceni Egyetem Egészségügyi Kar, 2007

e. tanársegéd, Debreceni Egyetem Gazdálkodástudományi és V. Kar, 2007-2009

f. docens, Nyíregyházi Főiskola TTIK Matematikai és Informatikai Intézet

Idegen nyelvi ismeret:

német középfokú C állami nyelvvivzsga

orosz, egyetemi alapfokú záróvizsga

angol, társalgási szint

Kutatási terület:

Matematikai logika és számítástudományi alkalmazásai:
temporális logika, intervallum-értékű logika, kriptográfiai protokollok helyességbizonyítása

Oktatási tapasztalat:

Számítástudomány: matematikai logika, algoritmuselmélet, formális nyelvek és automaták,
programozáselmélet, mesterséges intelligencia, logikai programozás, automatikus tételbizonyítás, szakértői rendszerek;

Matematika: diszkrét matematika, analízis, valószínűségszámítás, statisztika, biztosítási matematika;

Informatika: bevezető informatikai kurzus, programozás, funkcionális programnyelvek, logikai programnyelvek,
adatszerkezetek és algoritmusok, adatbázis-rendszerek.

Az utolsó 5 év főbb publikációi/ Main publiccations of the last 5 year:

Vályi, Sándor: On monadic second-order theories of the causal connectability relation, közlésre elfogadva a Journal of Philospohical Logic-ba. (referált folyóirat)

Takács, Péter – Vályi, Sándor: An extension of protocol verification modal logic to multi-channel-protocols, Tatra Mt. Math. Publ. 41(2008):153–166. (referált a Zentralblattban)

Nagy, Benedek – Vályi, Sándor: Interval-valued computations and their connection with PSPACE, Theoretical Computer Science 394(2008):208-222.

Nagy, Benedek – Vályi, Sándor: Visual reasoning by generalized interval-values and interval temporal logic, CEUR Workshop Proceedings  274(2007):13-26, ISSN 1613-0073.

Nagy, Benedek – Vályi, Sándor: Solving a PSPACE-complete problem by a linear interval-valued computation, Proceedings of  CiE2006: Logical Approaches to Computational Barriers, University of Swansea, Wales (GB):216-225, lektorált konferencia kiadványa.

ENGLISH:

Name:
Sándor Vályi

Present employment:
associate professor

Communication channels:

Institute of Mathematics and Informatics, Room E-06

Consulting hour: wednesday, 12.00 p.m.—13:00 p.m.

(+360642402488, wait,  extension 2342

* College of Nyíregyháza, Institute of Mathematics and Informatics,
H-4410, Hungary, Nyíregyháza,  Sóstói út 31/B.

Fax: (42) 402-485

E-mail: valyis<a.t>nyf<d.o.t>hu

Curriculum vitae

Education:

mathematician, 1993, Kossuth Lajos University (Debrecen) (later University of Debrecen)

business informatics, in progress

Degrees:

PhD, University of Debrecen, Mathematics and Computer Science Doctoral School,

Knowledge Management Doctoral Program, 2009

Employment:

scholar, computer associate, KLTE(University of Debrecen), 1993-1999

instructor, assistant professor University of Debrecen, 2000-2009

associate professor, College of Nyíregyháza

Foreign language knowledge:

German state language exam

Russian, basic university exam

English, conversation level

Research interest:

Mathematical logic and its applications in  computer science:

Temporal logic, spatio-temporal logic, interval-valued logic, logic verification of cryptographical protocols

Education experience:

Computer science: mathematical logic, theory of algorithms, formal languages anad automata, theory of programming,
artificial intelligence, logic programming, automated theorem proving, expert systems

Mathematics: discrete math, calculus, probability and statistics, math of insurances

Informatics: intro to informatics, programming(C), functional programming, logic programming languages,
data structures and algorithms, database systems