I've been meaning to email Raul Valdes-Perez, to ask if there's anyone at CMU still doing work on scientific discovery, mathematical discovery, algorithm discovery, etc.
His research goal is similar to mine:
This explains my interests in:
* formalization
* machine learning / scientific methodology (i.e. same thing).
His publications are all over the place too.
Anyway, I was just biking back from the cluster, when I noticed a big Vivisimo sign next to the RiteAid on Murray (corner with Forbes). I probably noticed this sign a handful of times before, but I only made the connection now. Vivisimo is his start-up, which explains why he is an "adjunct" professor.
But what does "adjunct professor" mean?
His research goal is similar to mine:
My research goal is to improve on the current state of scientific, engineering, and other professional reasoning by developing characterizable methods and interactive software that partially automate high-end tasks of discovery. In short: Better discovery of new, interesting knowledge.
This explains my interests in:
* formalization
* machine learning / scientific methodology (i.e. same thing).
His publications are all over the place too.
Anyway, I was just biking back from the cluster, when I noticed a big Vivisimo sign next to the RiteAid on Murray (corner with Forbes). I probably noticed this sign a handful of times before, but I only made the connection now. Vivisimo is his start-up, which explains why he is an "adjunct" professor.
But what does "adjunct professor" mean?