Does RStudio Workbench / RStudio Server Pro support Kerberos authentication?

Yes. RStudio Workbench (previously RStudio Server Pro) can use the PAM session API to initialize and destroy Kerberos tickets. It also supports LDAP, Active Directory and custom authentication approaches. Find out more in the latest version of our Admin guide: http://docs.rstudio.com/ide/server-pro/