અહીં સંયુક્ત અને ગાણિતિક તર્કશાસ્ત્રમાં, કોમ્પ્યુટેશનલ ગણિત અને ભૂમિતિ, સિસ્ટમો વિશ્લેષણ, સિદ્ધાંત આવે  માહિતી કોડિંગ, ના  નિર્ણય સિદ્ધાંત,  ગાણિતિક પ્રોગ્રામિંગ  અને ઓપરેશન્સ રિસર્ચ.