New domain name (

Some people were complaining about the domain, because it was a bit long and they never got the number of r’s in Ferreira right. From today, they can’t complain anymore!

The new and official URL of this website is now shorter and r’s-free: .

If you don’t like it and prefer the old one, please let me know!

Related Posts:

3 thoughts on “New domain name (

  1. I liked better the old one. You’re giving up your true identity…shame on you! :-)

    I’ll still be accessing threw (really don’t see where’s the problem hehe :-P )

    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.

  2. Well, I’d like to have, but it’s obviously already taken…

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

  3. I really enjoy your brilliant “seemingly-easy” approaches to hard proof problems.

    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.

Leave a Reply to Jane Forrester Cancel reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>