Adjustable LDO post regulator for bench supply design
Since you're using a linear post-regulator after a switcher, the switcher can afford to have more ripple than you want on the output.  This allows for very simple control schemes for the switcher.

I haven't really thought this thru carefully, but my first knee jerk reaction is to do a fairly dumb switcher in the micro.  Possibly the firmware doesn't even get envolved with the switcher control once the PWM generator is set up.

The micro would take care of the user interface, reading the voltage and current setpoint knobs, getting commands from a communication interface, displaying values, etc.  It then creates the reference voltage via PWM, which is low pass filtered and presented to the analog section.  Likewise, it makes a current limit setpoint voltage.

The voltage controller is a simple opamp with FET follower.  A PNP transistor is used to detect the switcher output being 700 mV or so above the actual output.  This produces a binary signal that drives the shutdown input of the PWM generator in the micro.

The current loop is a high side current sense between the switcher and the output FET.  A ground-referenced current-magnitude signal is created, which is compared to the filtered current limit voltage from the micro.  A comparator is used to also shut down the PWM generator when the current is above the setpoint.

For extra credit, have the micro continually read the raw input voltage.  It then adjusts the PWM duty cycle for the optimum value based on the input voltage, the output voltage setpoint, and the maximum current that the switcher needs to be able to deliver.  This dynamically tweaks the efficiency a bit, and should help avoid inductor saturation.

This scheme of fixed PWM with shutdown will cause more ripple on the switcher output, but since that's followed by a linear regulator, it shouldn't matter much.  The big advantages of this method are that it is very simple, and inherently stable over the wide range over operating points a bench supply must be able to handle.