Jaakko Järvi
 Dean of Faculty of Technology


jaakko.jarvi@utu.fi

+358 29 450 3476

+358 44 526 0799




ORCID identifierhttps://orcid.org/0000-0002-3418-7366





Areas of expertise
software engineering; programming languages; generic programming; user interface programming; dataflow constraint systems

Biography

Jaakko Järvi joined the University of Turku as a professor of software engineering in 2020. He has served as the head of the Department of Future Technologies (now Dept. of Computing) in 2020, and since 2021 as the dean of the Faculty of Technology.  He has formerly held academic positions at University of Bergen, Norway (professor, 2016–2019), Texas A&M University (assistant/associate professor 2004—2016), and Indiana University (postdoc, 2001—2004). The fall of 2013 he worked as a visiting scientist at Adobe System Inc. in San Jose, CA. Järvi's PhD is from the University of Turku (2000). 



Research

In the broadest sense, my field of research is software construction. More specifically, my research contributions have been in such areas as programming language design (many contributions to standard C++), generic and generative programming,  type systems, and software library design. In the past few years, I have focused on user interfaces and their programming declartively using a programming model based on multiway dataflow constraint systems.



Teaching

I currently teach a seminar in Software Engineering and advise MSc/BSc theses on topics related to software research. I have in the past taught and developed courses at several universities, at undergraduate and graduate levels, on Programming Languages, Programming Language Design, Concurrent Programming, Generic Programming, Software Engineering, project-based classes on software construction, Program Specification, and User Interface Programming.



Publications

  •   (2025)  CHI EA '25: Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems Koivunen, Lauri; Papalitsas, Aleksi; Khursheed, Muhammad Ismail; Akar, Ecem; Lehtojärvi, Susanna; Islas Sedano, Carolina A.; Järvi, Jaakko
    (
    Abstract)


  • Containers for GUI Models  (2024)  Programming '24 : Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming Stokke, Knut Anders; Barash, Mikhail; Järvi, Jaakko; Stenholm, Elisabeth; Robbestad Gylterud, Håkon
    (
    A4 Refereed article in a conference publication )


  • A domain-specific language for structure manipulation in constraint system-based GUIsSemantics of multiway dataflow constraint systems  (2023)  
    • Journal of Computer Languages
     Stokke Knut Anders, Barash Mikhail, Järvi Jaakko
    (
    A1 Refereed original research article in a scientific journal)


  •   (2023)  
    • Open Access Series in Informatics
    Eelco Visser Commemorative Symposium: EVCS 2023, April 5, 2023, Delft, The Netherlands Stokke Knut Anders, Barash Mikhail, Järvi Jaakko
    (
    A4 Refereed article in a conference publication )


  •   (2023)  SPLASH 2023: Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity Stokke Knut Anders, Barash Mikhail, Järvi Jaakko
    (
    Other publication)


  • 2022
    • Frontiers in Computer Science
     Chetioui Benjamin, Larnøy Marius K, Järvi Jaakko, Haveraaen Magne, Mullin Lenore
    (
    A1 Refereed original research article in a scientific journal)


  • Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal  (2022)  
    • The Art, Science, and Engineering of Programming
     Chetioui Benjamin, Järvi Jaakko, Haveraaen Magne
    (
    A1 Refereed original research article in a scientific journal)


  •   (2021)  
    • ACM Sigplan Conference on Programming Language Design and Implementation
    ARRAY 2021: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming Chetioui Benjamin, Abusdal Ole, Haveraaen Magne, Järvi Jaakko, Mullin Lenore
    (
    A4 Refereed article in a conference publication )


  • 2021
    • Journal of Logical and Algebraic Methods in Programming
     Magne Haveraaen, Jaakko Järvi
    (
    A1 Refereed original research article in a scientific journal
  • Manipulating GUI Structures DeclarativelyAxioms as generic rewrite rules in C++ with concepts  (2020)  GPCE 2020: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Knut Anders Stokke, Mikhail Barash, Jaakko Järvi
    (
    A4 Refereed article in a conference publication )


  •   (2019)  ARRAY 2019: Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming Chetioui B, Mullin L, Abusdal O, Haveraaen M, Järvi J, Macia S
    (
    A4 Refereed article in a conference publication )


  •   (2016)  
    • ACM sigplan notices
     Foust G, Järvi J, Parent S
    (
    A1 Refereed original research article in a scientific journal)


  •   (2015)  
    • Science of Computer Programming
     Xiaolong Tang, Jaakko Järvi
    (
    A1 Refereed original research article in a scientific journal)


  •   (2015)  
    • Lecture Notes in Computer Science
    HUMAN-COMPUTER INTERACTION - INTERACT 2015, PT IV Wilkins J, Järvi J, Jain A, Kejriwal G, Kerne A, Gumudavelly V
    (
    A4 Refereed article in a conference publication )


  • Specializing Planners for Hierarchical Multi-way Dataflow Constraint SystemsHelping Programmers Help Users  (2015)  
    • ACM sigplan noticesACM sigplan notices
     Järvi J, Foust G, Haveraaen M
    (
    A1 Refereed original research article in a scientific journal)


  • HotDrink A Library for Web User Interfaces  (2013)  
    • ACM sigplan noticesApplied Computing Review
     Freeman J, Järvi J, Foust G
    (
    A1 Refereed original research article in a scientific journal)


  • Exploiting Regularity of User-Defined Types to Improve Precision of Program Analyses  (2012)  Proceedings of the 27th Annual ACM Symposium on Applied Computing Xiaolong Tang, Jaakko Järvi
    (
    A4 Refereed article in a conference publication )


  • Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious  (2012)  Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming Järvi, Jaakko; Haveraaen, Magne; Freeman, John; Marcus, Mat
    (
    A4 Refereed article in a conference publication )


  •   (2012)  
       Freeman J, Järvi J, Kim W, Marcus M, Parent S
      (
      A1 Refereed original research article in a scientific journal)


    • Summary-Based Data-Flow Analysis that Understands Regular Composite Objects and Iterators  (2012)  
         Tang XL, Järvi J
        (
        A1 Refereed original research article in a scientific journal)



      Last updated on 2023-12-07 at 11:57