What are the prerequisites math domains someone should be proficient in if they were interested in making this career? I’m a long way off currently (just started learning calculus) and some kind of reference point would be very helpful! Congratulations by the way.
What are the prerequisites math domains someone should be proficient in if they were interested in making this career? I’m a long way off currently (just started learning calculus) and some kind of reference point would be very helpful! Congratulations by the way.
Check out the MIRI course list.
I still have yet to understand the emphasis on model theory and model checking over other branches of semantics. -- type theory weenie