Back to Results
First PageMeta Content
Software development / Java Pathfinder / Software / Logic in computer science / Model checking / Software verification / Runtime verification / Static program analysis / Verification and validation / Formal methods / Software testing / Theoretical computer science


CURRICULUM VITAE August 2014 Willem Conradie Visser Professor Computer Science
Add to Reading List

Document Date: 2014-09-18 08:45:52


Open Document

File Size: 223,50 KB

Share Result on Facebook

City

Trento / Canterbury / Montreal / Paris / Manchester / Pittsburgh / Redwood City / Portland / Toronto / Washington / Vienna / Linz / Taormina / Mountain View / Long Beach / Grenoble / Newcastle / Irvine / Barcelona / Warsaw / Sky / Boston / New York / Rome / Melbourne / San Diego / Chicago / Limerick / /

Company

Digital Avionics Systems / SEVEN Networks / Boulder CO. / Willem Visser Autonomy Software / Martian Rover Software / Reactive Systems / Wooldridge Model Checking Rational Agents IEEE Intelligent Systems / Programming Multiagent Systems / Telkom / Trend International Journal / Oracle / Multi-Agent Systems / Google / Embedded Systems / Adaptive Systems / International Journal / Abstraction International Journal / South African Telephone Company / /

Country

South Africa / France / Canada / Australia / United Kingdom / Italy / Poland / Austria / United States / Columbia / Spain / Ireland / /

/

Facility

Employer University of Stellenbosch / Web-programming Employer University of Manchester / University of Stellenbosch Stellenbosch / Laboratory Work Courses Computational Complexity / University of Manchester Manchester / Software Support TEACHING EXPERIENCE Employer University of Stellenbosch / Loyola College Graduate Center / Research Institute / NASA Ames Research Center / Outsourcing Employer Research Institute / /

IndustryTerm

heuristic search / software errors / software development / in-house protocols / Web-programming Employer University of Manchester / mining / software testing / /

NaturalFeature

3 / Fall / /

OperatingSystem

Windows NT / /

Organization

University of Stellenbosch Stellenbosch / Research Institute for Advanced Computer Science / Research Institute for Advanced Computer Science RIACS / American Mathematical Society / NASA Ames Research Center / Willem Conradie Visser Professor Computer Science Stellenbosch University / University of Manchester / Loyola College Graduate Center / Rutgers / DIMACS / University of Stellenbosch / South African National Research Foundation / ACM SIGSOFT Executive Committee / University of Manchester Manchester / National Aeronautics and Space Administration / Stellenbosch University / /

Person

Nigel Tracey / Cindy Kong / H. Zheng Tool / Donal Fellows / Matthew B. Dwyer / David Bushnell / Phil Oh / Khurshid Test / Park / Michael Whalen / Johann Schumann / Klaus Havelund / Guillaume Brat / John Penix / Matt Dwyer / Peter Mehlitz / Graham Gough / Willem Visser / H. Barringer / Alan Williams / Alex Groce / Eric Engstrom / Corina Pasareanu / Nicholas Weininger / Howard Barringer / Aaron Larson / Charles Pecheur / W.C. Visser / Oksana Tkachuk / Flavio Lerda / Jon L. White / Mike Lowry / Gary Lindstrom / /

/

Position

Software Engineer Research and Development Lead / co-program chair / Description Lecturer / coprogram chair / Supervisor / lead author / Professor / invited speaker / Professor of Computer Science / Job Title Job Description Programmer / Researcher / senior engineer / Description Teaching Assistant / Head of Division / Head of the Department / M. Fisher / Model / /

Product

AgentSpeak / Windows NT / /

ProgrammingLanguage

Java / Java Bytecode / SQL / PL/SQL / C++ / /

ProvinceOrState

Quebec / Swansea / New York / Montana / California / Illinois / Oregon / Massachusetts / /

PublishedMedium

Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

mobile phones / Java / CAV / in-house protocols / Java Technologies / artificial intelligence / Data mining / Simulation / /

SocialTag