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!

Marketing manager

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!

Business Development

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 Engineer

#blockchain

#mathematics

#theoretical

#computerscience

#formalverification

Solidity

Golang

TypeScript

Cryptography

Unix

React

automated testing

Algorithms

Firebase

Ethereum

I'm a NUS CS graduate currently pursuing my MSc at Aarhus University specializing in cryptography, logic and formal verification. I have fullstack dev, compiler engineer and smart contract lead experience.

Abdul Haliq Abdul Latiff

Collections

Welcome to Outdefine

Boards

Similar profiles

Welcome to Outdefine

Join a community, when you join Outdefine!Connect with 72,000 tech professionals globally.