@joshuagrochow@mathstodon.xyz avatar

joshuagrochow

@joshuagrochow@mathstodon.xyz

Assoc. Professor @ CU Boulder Comp. Sci. & Math; Research interests: theoretical computer science, pure mathematics, and complex systems.
Other interests: climate change; accurate (long)COVID info; equity, inclusion, & accessibility; improving academia. #BlackLivesMatter #TransRightsAreHumanRights #LandBack #CovidIsAirborne #CleanTheAir #StillMasking #MaskUp #TCS #TheoryCS #math #ComplexSystems #complexity (both kinds) #academia

This profile is from a federated server and may be incomplete. Browse more on the original instance.

TaliaRinger, to random
@TaliaRinger@mathstodon.xyz avatar

Any mathematicians looking for CS partners for the NSF proposal on AI for Math? We are thinking of doing something related to discovering relations as well as automatically formalizing proofs from both natural language and diagrams drawn by hand. We have a few other ideas too.

joshuagrochow,
@joshuagrochow@mathstodon.xyz avatar

@TaliaRinger sounds like something @vcvpaiva (and Topos Inst?) would be interested in

highergeometer, to random
@highergeometer@mathstodon.xyz avatar

Spotted in the wild:

"We understand that a career change is a big decision. This role may even have you considering a move to Adelaide to embark on your next career chapter?"

What's the question?

joshuagrochow,
@joshuagrochow@mathstodon.xyz avatar

@johncarlosbaez @highergeometer but in this case it really feels like they meant it to be ! and not ?

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • mdbf
  • ngwrru68w68
  • modclub
  • magazineikmin
  • thenastyranch
  • rosin
  • khanakhh
  • InstantRegret
  • Youngstown
  • slotface
  • Durango
  • kavyap
  • DreamBathrooms
  • megavids
  • GTA5RPClips
  • tacticalgear
  • normalnudes
  • tester
  • osvaldo12
  • everett
  • cubers
  • ethstaker
  • anitta
  • provamag3
  • Leos
  • cisconetworking
  • lostlight
  • All magazines
    •