Skip to content

Jaco Geldenhuys

  • Lecturer
  • Computer Science, Stellenbosch University
  • 1PublicationsNumber of items in Jaco's My Publications folder on Mendeley.
  • 2Followers

Followers (2)

Following (2)

Publications (1)

  • More Efficient On-the-fly LTL Verification with Tarjan's Algorithm

    • Geldenhuys J
    • Valmari A
    N/AReaders
    N/ACitations

Professional experience

Lecturer

Computer Science, Stellenbosch University

April 2005 - Present

Education

DTech (Computer Science)

Tampere University of Technology

January 2001 - June 2011(10 years)

MSc (Computer Science)

Stellenbosch University

January 1994 - December 2000(7 years)

BSc Hons (Computer Science)

Stellenbosch University

January 1993 - December 1993(a year)

BSc

Stellenbosch University

January 1990 - December 1992(3 years)