However, I have a few dangling doubts in my mind.

1. It seems like your research is about applying formal methods(constructive approach) to programming. Is there any significant result in the industry using that methods? I think Dijkstra’s approach(with simple toy problems) resulted (directly) in no fruit in the real world.

2. What do you think about MIT’s Alloy? It’s kind of a mix between formal and informal proof/check. Some people consider it a somewhat practical approach.

3. What books and materials do you recommend someone who wants to learn your approach? (for undergraduates, and for professionals like me)

Thanks as always.

I don’t see any problem with the comments. Maybe you can explain me the problem later.

I’ll still be accessing threw joaoferreira.org (really don’t see where’s the problem hehe )

PS – Is it just me or the layout for the comment post is broken? the inputs instead of being aligned look like steps in a stair… well maybe it’s just me.