Edwin Rodríguez Graduate Student - PhD Program Dept. of Computing and Information Sciences Kansas State University Linux User # 146036 -----BEGIN GEEK CODE BLOCK----- Version: 3.1 GCS/E/M/S/P d- s+: a? C++(++++) UL++(+++) P+++(++++) L+++(++++) E--- W+++ N+(++) !o K w--- O- !M !V !PS !PE Y+ !PGP t- 5-- X+ R+(++) tv+ b++(++++) DI++ D G++ e+++ h--- r+++ y+++ ------END GEEK CODE BLOCK------

Family

I am married to a wonderful woman, Mónica. We met in 1998 through the internet, and married in 2000. It was an interesting kind of relationship given that we lived in countries very far from each other (she's from México and, in case you didn't recognize the flag waving above, I'm from Venezuela). But we managed, and now we have a beautiful daughter, Verónica, who I swear is the smartest child I have ever seen (not that I've seen a lot of children :-).

These two persons are the center of my life and the strength that keeps me going on every day, and wanting to go further and do better. I thank God every day for my wonderful family.

Interests

Research

My general interests usually fall in the theoretical ground: Artificial Intelligence, Computability Theory, Computational Complexity, Programming Languages and Software Analysis (Abstraction, Correctness Verification, etc.). If only I could do all these stuff, I'd be VERY happy. But I can't. So, during my stay at K-State, my work has focused mainly in the first and last areas I mentioned:

• Software analysis: I am a member of the SAnToS laboratory in the CIS Department at Kansas State University.

• Artificial Intelligence: My work in AI has focused in Genetic and Evolutionary Computation (GEC) and Reinforcement Learning.
  

Hobbies

In my spare time (?) there are a bunch of things I like to do:

• Family time: I like to spend time with my family, you know, go out or just gather in the living room to laugh about Verónica's last occurrence. Also, I love spending time just playing with my daughter.

• Exercise: I like playing sports, particularly basketball.

• Reading: I love reading. I can read just about anything and with this hobby I have a problem, because usually when I'm reading a book I really like, I just can't stop reading and tends to interefere with my every day tasks. I read magazines, research papers (not counting those related with my work), articles... I just love it. And I love books. Books are like a sacred thing to me. Don't mess with my books! Right now I'm reading Fundamentals of Number Theory by William J. LeVeque.

• Movies: I enjoy a lot watching movies. I go to the theater whenever I get a chance, but usually either just rent some DVD's or watch TV.

Ongoing Projects

• SpEx
• JMLEclipse
• MAnTA
  

Teaching

I taught Spanish in the Modern Languages Department at Kansas State University for two and a half years (Fall 2001 - Winter 2003). It's quite an enriching and very challenging experience. Now, I have a lot of respect for my professors since I understand how difficult the task of teaching can be. But I turned to like it a lot. Although a very tough task, teaching has been one of the most rewarding experiences of my life. So, I'll try to keep doing it and get better at it.

Publications

• Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays, October 2009.
  Torben Amtoft, John Hatcliff, Edwin Rodríguez.
  Technical Report.
  pdf (Last Updated: November 2009).
  
  
• Extending JML for Modular Specification and Verification of Multi-Threaded Programs, December 2004.
  Edwin Rodríguez, Matthew Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby.
  To appear in the Proceedings of 19th European Conference on Object-Oriented Programming (ECOOP 2005).
  Technical Report, SAnToS-TR2004-10.
  pdf (Last updated: May 2005).
  
  
• Checking JML Specifications Using An Extensible Software Model Checking Framework, August 2004.
  Robby, Edwin Rodríguez, Matthew Dwyer, John Hatcliff.
  To appear in the International Journal on Software Tools for Technology Transfer (STTT).
  Technical Report, SAnToS-TR2004-7.
  (Extended version of TACAS 2004 paper).
  pdf (Last updated: May 2005).
  
  
• A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking, June 2004.
  Edwin Rodríguez, Matthew Dwyer, John Hatcliff, Robby.
  In the Proceedings of the International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2004 (CASSIS 2004).
  Technical Report, SAnToS-TR2004-3.
  pdf (Last updated: June 2004). BibTeX
  
  
• Checking Strong Specifications Using An Extensible Software Model Checking Framework, April 2004.
  Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff.
  In the Proceedings of the Tenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004).
  Technical Report, SAnToS-TR2003-10.
  pdf (Last updated: February 2004). BibTeX
  
  
• Bogor Extensions Tutorial, July 2003.
  Edwin Rodríguez.
  Technical Report.
  pdf (Last updated: January 2004). Download companion package (TutorialPackage.zip)
  

Miscellaneous

Cool Quotes by Computer Scientists

• The only way tcsh "rocks" is when the rocks are attached to it's feet in the deepest part of a very deep lake. - Linus Torvalds
  
  
• When you say "I wrote a program that crashed Windows", people just stare at you blankly and say "Hey, I got those with the system, *for free*". - Linus Torvalds
  
  
• Dijkstra probably hates me. - Linus Torvalds
  
  
• Many computer scientists have fallen into the trap of trying to define languages like George Orwell's Newspeak, in which it is impossible to think bad thoughts. What they end up doing is killing the creativity of programming. - Larry Wall
  
  
• I dunno, I dream in Perl sometimes... - Larry Wall
  
  
• In general, if you think something isn't in Perl, try it out, because it usually is. - Larry Wall
  
  
• Science is a differential equation. Religion is a boundary condition. - Alan Turing
  
  
• There are two ways of constructing a software design; one way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies. The first method is far more difficult. - Charles Anthony Richard Hoare
  
  
• ... the psychological profiling [of a programmer] is mostly the ability to shift levels of abstraction, from low level to high level. To see something in the small and to see something in the large. - Donald E. Knuth
  
  
• Beware of bugs in the above code; I have only proved it correct, not tried it - Donald E. Knuth
  
  
• I mean, if 10 years from now, when you are doing something quick and dirty, you suddenly visualize that I am looking over your shoulders and say to yourself: 'Dijkstra would not have liked this', well that would be enough immortality for me. - Edsger Dijkstra
  
  
• Computer Science is no more about computers than astronomy is about telescopes. - Edsger Dijkstra
  
  
• Program testing can be used to show the presence of bugs, but never to show their absence! - Edsger Dijkstra
  
  
• It is practically impossible to teach good programming to students that have had a prior exposure to BASIC: as potential programmers they are mentally mutilated beyond hope of regeneration. - Edsger Dijkstra
  
  
• UNIX is basically a simple operating system, but you have to be a genius to understand the simplicity. - Dennis Ritchie
  
  
• Premature optimization is the root of all evil. - Robert W Floyd (also attributed Donald E. Knuth and C.A.R. Hoare)
  

Cool Quotes by non Computer Scientists

• Great spirits have always found violent opposition from mediocrities. The latter cannot understand it when a man does not thoughtlessly submit to hereditary prejudices but honestly and courageously uses his intelligence. - Albert Einstein
  
  
• Genius is one per cent inspiration and ninety-nine per cent perspiration. - Thomas Alva Edison
  
  
• In my heart the only ruler is my conscience. - Simón Bolivar
  
  
• Live as if you were to die tomorrow. Learn as if you were to live forever. - Mahatma Ghandi
  
  
• You should be the change that you want to see in the world. - Mahatma Ghandi
  
  
• I consider western Christianity in its practical working a negation of Christ's Christianity. - Mahatma Ghandi
  
  
• All I know is that I know nothing. - Socrates
  
  
• I never met a man so stupid I could not learn something from him. - Galileo Galilei
  
  
• I do not feel obliged to believe that the same God who has endowed us with sense, reason, and intellect has intended us to forego their use. - Galileo Galilei
  
  
• Let the one who is free of sin step forward and throw the first stone. - Jesus of Nazareth
  
  
• If you have faith of the size of a mustard seed, you will say to this mountain, 'Move from here to there,' and it will move; and nothing will be impossible for you. - Jesus of Nazareth
  
  
• Believe nothing, no matter where you read it, or who said it, no matter if I have said it, unless it agrees with your own reason and your own common sense. - Siddhartha Gautama
  
  
• An idea that is developed and put into action is more important than an idea that exists only as an idea. - Siddhartha Gautama
  
  
• A mathematician is a device for turning coffee into theorems. - Paul Erdös
  

Contact Info

If you want to reach me, the best way to do it is through e-mail. My e-mail ID is edwin. Just attach the CIS Department's domain after the 'at' sign.