Vesa Halava
 

    • professori
    matematiikka (matematiikan ja tilastotieteen laitos)


vesa.halava@utu.fi

+358 29 450 4304

+358 50 320 6267

Vesilinnantie 5

Turku

Työhuone368

Contact by email.

ORCID-tunnistehttps://orcid.org/0000-0003-3633-4902

My webpage




Asiantuntijuusalueet
Laskettavuus; automaatit ja formaaliset kielet; logiikka; sanojen kombinatoriikka

Biografia

Olen diskreetin matematiikan ja teoreettisen tietojenkäsittelytieteen professori.



Tutkimus

Päätutkimusalani on laskettavuus, erityisesti ratkeamattomat ongelmat automaattien ja formaalisten kielten teoriassa ja kokonaislukumatriisien puoliryhmissä. Viime aikoina olen keskittynyt myös laskettavuuden ja laskenna perusteiden tutkimukseen, ja siihen liittyvään matematiikan perusteiden tutkimukseen -- logiikkaan ja joukko-oppiin. Olen julkaissut myös sanojen kombinatoriikasta.



Opetus

Tällä hetkellä opetan kahta logiikan kurssia, aineopintokurssia Logiikka ja Logiikan jatkokurssi -nimistä erikoiskurssia.

Lisäksi opetan ensimmäisen vuoden matematiikan opiskelijoille Analyysi I kurssia.



Julkaisut
  
null
  
null
  
3/3
  
null
  
null

  • ON THE NUMBER OF SQUARES IN PARTIAL WORDS  (2010)  
    • RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
     Harju Tero, Halava Vesa, Kärki Tomi
    (
    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  • On the Periodicity of Morphic Words  (2010)  
    • Lecture Notes in Computer Science
     Harju, Tero; Halava, Vesa; Kärki, Tomi; Rigo, Michel
    (
    A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)


  •   (2009)  
    • Theoretical Computer ScienceRAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
     Halava V, Harju T, Karki T, Seebold P
    (
    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  •   (2009)  
    • International Journal of Foundations of Computer ScienceSemigroup Forum
     Halava V, Potapov I
    (
    C2 Toimitustyö tieteelliselle kokoomateokselle)


  • The theorem of Fine and Wilf for relational periods  (2009)  
       Halava V, Harju T, Karki T
      (
      A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


    • Defect theorems with compatibility relations  (2008)  
         Halava V, Harju T, Kärki T
        (
        A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


      • Interaction properties of relational periods  (2008)  
        • Discrete Mathematics and Theoretical Computer Science
         Halava V, Harju T, Karki T
        (
        A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


      • Reachability probelms (RP 2007) - Preface  (2008)  
        • International Journal of Foundations of Computer Science
         Halava V, Potapov I
        (
        C2 Toimitustyö tieteelliselle kokoomateokselle)


      • Square-free partial words  (2008)  
        • Information Processing Letters
         Halava Vesa, Harju Tero, Kärki Tomi
        (
        A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


      • An undecidability result concerning periodic morphisms  (2002)  
        • Lecture Notes in Computer Science
        Developments in Language Theory Halava V, Harju T
        (
        A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)



      Last updated on 2023-12-07 at 12:30