Bob Riemenschneider

Senior Technical Consultant

We found the following information about Bob Riemenschneider at Starview Inc., where this expert has worked as a Sr. Technical Consultant since 2009. Bob's total work experience is over 39 years, during which time this professional had at least nine jobs at different companies to develop skills. Bob Riemenschneider studied at the University of California, Berkeley from 1973 to 1980. San Jose, California is the place where the professional currently lives. Find this professional's actual email address and number through Connexy search.
Name variants:
Robert Riemenschneider

If it is your profile

Claim it

You may know Bob Riemenschneider

Make recommendation

Contact Information

Last Update
Jul 6, 2022
Email
ra**@gmail.com
Location
San Jose, CA
Company

Workplace

Starview Inc.
Sr. Technical Consultant

San Jose, CA

Industry

Information Technology and Services, Prepackaged Software, Prepackaged Software Services

Work History

Sr. Technical Consultant

San Jose, CA
Application design and development, training, etc. (It's a startup!)
from Aug 2009

Adjunct Lecturer in Computer Engineering

Teach graduate courses in Logic (COEN 260) and Formal Methods (COEN 385)
from Apr 2001

Sr. Software Engineer

Created (using mostly Common Lisp and Prolog, but also Java, C, C++, and scripting languages) a wide variety of software, primarily applications of "lightweight formal methods" (model checki...
Sep 1991 — Mar 2009

Sr. Research Scientist

Apr 1987 — Sep 2001

Sr. Computer Scientist

Sep 1984 — Apr 1987

Sr. Computer Scientist

Sep 1985 — Jul 1986

Computer Scientist

Sep 1981 — Aug 1984

Lecturer

Taught Automata Theory
Jan 1981 — Mar 1981

Lecturer

Taught Introduction to Logic (Phil 12A)
Jun 1980 — Aug 1980

Education

Occupations

Counselor
IT Professional
Computer Software Professional
Professor
Adjunct Instructor
Lecturer
Advisor
Software Developers
Postsecondary Teacher

Skills

Objective C
Distributed Systems
Software Design
Linux
Algorithms
Automated Reasoning
Open Source
Lisp
Agile Methodologies
Mathematical Logic
Eclipse
Logic Programming
Artificial Intelligence
Programming
Java
Intelligent Agents
C++
Scalability
Software Engineering
Python
Bayesian Networks
Computer Science
Software Development
Model Checking
Machine Learning
System Architecture
Architecture
Object Oriented Design
Data Mining
Architectures
Multi Agent Systems
Login