-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathrustylusk.html
executable file
·45 lines (39 loc) · 1.75 KB
/
rustylusk.html
1
<html><head><title>Ewing (Rusty) Lusk</title><SCRIPT LANGUAGE="JavaScript">function popUp(URL) {day = new Date();id = day.getTime();eval("page" + id + " = window.open(URL, '" + id + "', 'toolbar=0,scrollbars=1,location=0,statusbar=0,menubar=0,resizable=0,width=400,height=350');");}</script></head><body link="#339933" vlink="#339933" text="#000000" bgcolor="#FFFFFF" alink="#FF0000"><table border="0" cellpadding="0" cellspacing="0" style="border-collapse: collapse" width="435" id="AutoNumber1"> <tr> <td colspan="2" > <p align="center"><img src="images/logo.jpg" width="240" height="79" align="right"> </p> </td> </tr> <tr> <td width="18" height="190" > </td> <td width="397" height="190" valign="top"> <p><b><font size="+1">Ewing (Rusty) Lusk</font></b></p> <p>Ewing "Rusty" Lusk is a senior computer scientist in the Mathematics and Computer Science Division at Argonne National Laboratory. His current projects include an implementation of the MPI Message-Passing Standard, research into programming models for parallel architectures, and parallel performance analysis tools. Past interests include automated theorem proving, logic programming, and parallel computing. He is a co-author of five books in automated reasoning and parallel computing, and a leading member of teams that produced the Argonne theorem proving systems, the Aurora parallel Prolog system, and the MPICH implementation of the MPI message-passing interface standard. He is the author of more than seventy-five research articles in mathematics, automated deduction, and parallel computing.</p> </td> </tr></table></body></html>