About Numbers and Sequences

My Erdös number is 5 (Alon, Noga — Karp, Richard M. — Anne Condon — Jesse Bingham), and my academic lineage goes all the way to Leibnitz.

Academic Writing

Besides the key idea one wants to convey, the clarity and style of exposition are arguably the most important aspects of academic writing. I've started collecting papers and books on scholarly writing. If you can suggest a good reference, please send me an email. What follows is the list of references that I found useful so far:

• P. R. Halmos: "How to Write Mathematics" [PDF]
• H. Schulzrinne: "Writing Technical Articles" [HTML]
• G. M. Whitesides: "Whitesides' Group: Writing a Paper" [PDF]
• S. Keshav: "How to Read a Paper" [PDF]
• G. Gopen, J. Swan: "The Science of Scientific Writing" [HTML]

Writing Grant Proposals

A large part of academic success in the US is related to getting money. Actually, a friend of mine said he could shorten that sentence and omit the word 'academic' . After returning to academia, I've almost immediately started working on some grant proposals. Here are some links and info I found useful:

• Heilmeier's Catechism
• CRA Mentoring Workshops: 2010
• Federal Business Opportunities
• DoE Grants site
• DARPA IPTO office, one of the two main offices for academic research
• DARPA MTO office, the second main office for academic research
• DARPA Twitter news, an excellent way to learn about new solicitations
• NSF CISE, the main directorate for computer science

Useful CS Stuff

• Impact factors in computer science
• Most cited authors in computer science
• Zvonimir's list of CS conferences

Verification and Bug-Finding Links

• Why would anyone care about formal verification?
• Finding Bugs in the Real World
• Ten Commandments of Formal Methods
• Top 25 programming errors
• ..."the [US] national cost estimate of an inadequate infrastructure for software testing is $59.5 billion"... [read more]