I am an Assistant Professor at the Mathematics Department of the University of Colorado in Boulder.

My mathematical work has been in Set Theory (almost disjoint type families) and Computability theory (effective randomness and reverse mathematics).

End of May I'll start as a software developer at CoachR Development.

Bart Kastermans
University of Colorado - Boulder
Department of Mathematics
395 UCB
Boulder, CO 80309
USA

Office: MATH 204

Phone: (+1) 303-900-2278

Email: kasterma@colorado.edu

  • kasterma created branch master at kasterma/pgm-cpp
    github.com/kasterma  /pgm-cpp Friday, 11 May
  • kasterma created repository pgm-cpp
    github.com/kasterma  /pgm-cpp Friday, 11 May
  • Super excited to have a job!!!!!
    @kasterma  this tweet Thursday, 10 May
  • Achievement unlocked: Last lecture ever finished.
    @kasterma  this tweet Friday, 04 May
  • Webinar "R + Hadoop = Big Data Analytics" about to start, should be interesting! Organized by Revolution Analytics.
    +Bart Kastermans  this post Wednesday, 02 May
  • . @SpaceX is doing an engine test; exciting developments in space travel!
    @kasterma  this tweet Monday, 30 April
  • There is more to UML than I knew; this has me scrambling to get a handle on it, but also excited to learn this.
    @kasterma  this tweet Monday, 30 April
  • kasterma pushed to master at kasterma/pgm
    github.com/kasterma  /pgm Tuesday, 24 April
  • Waiting for OWASP: Anatomy of Advanced Email Attacks (put on GoToMeeting by the Austin OWASP Chapter) to start.
    +Bart Kastermans  this post Tuesday, 24 April
  • kasterma pushed to master at kasterma/pgm
    github.com/kasterma  /pgm Tuesday, 24 April
  • kasterma pushed to master at kasterma/pgm
    github.com/kasterma  /pgm Monday, 23 April
  • kasterma pushed to master at kasterma/nlp
    github.com/kasterma  /nlp Sunday, 22 April
  • kasterma created repository nlp
    github.com/kasterma  /nlp Sunday, 22 April
  • Yesterday went to the Boulder OWASP meetup, interesting and good fun.
    +Bart Kastermans  this post Friday, 20 April
  • Got a copyright violation notice. Apparently the recording industry thinks I am using bittorrent on my iPod. To clarify, they are wrong!
    @kasterma  this tweet Saturday, 14 April
  • kasterma pushed to master at kasterma/homepage
    github.com/kasterma  /homepage Friday, 13 April
  • kasterma created branch master at kasterma/pgm
    github.com/kasterma  /pgm Friday, 13 April
  • kasterma created repository pgm
    github.com/kasterma  /pgm Friday, 13 April
  • About to start, ACM Webinar "Security: Computing in an Adversarial Environment" by Carrie Gates.
    +Bart Kastermans  this post Thursday, 12 April
  • Today's meetup, MySQL Replication; here in the Math Department.
    +Bart Kastermans  this post Wednesday, 11 April