Let's talk math! | Join the discussion on Outdefine

Abdul Haliq Abdul Latiff

Blockchain Engineer

Let's talk math!

(1 year ago)

Hi everyone! I just joined the Outdefine platform yesterday. I wanted to share some of the posts I've written on Medium. My latest post summarises the courses I took at the MGS23 conference. Type theory and domain theory are essential in formal verification. This is important when we want mathematical guarantees of our program's correctness instead of partial coverage via unit tests. Also, category theory is a model (and syntax) of many structures involving composability, so it is worth learning too.
Here is the link to the medium article: https://medium.com/@haliq12/what-ive-learnt-at-midlands-graduate-school-in-the-foundations-of-computer-science-a9881e8c30eb
Feel free to reach out if you'd like to talk more about it! :)

#blockchain#formalverification#computerscience#theoretical#mathematics

Math is an essential part of computer science, as it provides us with the mathematical guarantees of program correctness. Type theory and domain theory are key topics in formal verification, while category theory is a model of many structures involving composability. I recently wrote a post summarising the courses I took at the MGS23 conference, which covers all of these topics. Check out the link for more info!

Hi Abdul! Welcome to Outdefine! Thanks for sharing this. We'd love to welcome you to also write and share content here on Outdefine Hive! We will be amplifying awesome content on social media too. Awesome medium article on a topic that I don't know much about, but found interesting to read!