http:^^www.cs.uidaho.edu^~jimaf^
来自「This data set contains WWW-pages collect」· EDU^~JIMAF^ 代码 · 共 141 行
EDU^~JIMAF^
141 行
Date: Mon, 25 Nov 1996 23:06:15 GMTServer: NCSA/1.4.1Content-type: text/htmlLast-modified: Fri, 18 Oct 1996 23:41:45 GMTContent-length: 4023<HEAD><TITLE>Jim Alves-Foss Faculty Page</TITLE></HEAD><BODY><H1>Department of Computer Science</H1><P> <H2>University of Idaho</H2><P> <H2>Jim Alves-Foss</H2><i><!WA0><a href="mailto:jimaf@cs.uidaho.edu">jimaf@cs.uidaho.edu</a></i><br><p><!WA1><IMG SRC="http://www.cs.uidaho.edu/lal/images/small-alves-foss.gif"><!WA2><IMG ALIGN=middle SRC=http://www.cs.uidaho.edu/images/green_horiz_line.gif><!WA3><IMG ALIGN=middle SRC=http://www.cs.uidaho.edu/images/blue_horiz_line.gif><br><!WA4><A HREF="http://www.cs.uidaho.edu/index.html"><!WA5><IMG ALIGN=middle SRC=http://www.cs.uidaho.edu/images/csclogo.gif></A> Computer Science Home Page<!WA6><A HREF="http://www.uidaho.edu/"><!WA7><IMG ALIGN=middle SRC=http://www.cs.uidaho.edu/images/uilogo3.gif></A> Univ. of Idaho Home Page<!WA8><IMG ALIGN=middle SRC=http://www.cs.uidaho.edu/images/blue_horiz_line.gif><!WA9><IMG ALIGN=middle SRC=http://www.cs.uidaho.edu/images/green_horiz_line.gif><p><P><H3> Biography </H3>Jim Alves-Foss is an assistant professor of computer science and is thecurrent acting director of the <!WA10><a href="http://www.cs.uidaho.edu/lal/homepage.html">Laboratory forApplied Logic</a>. He has been at the University of Idaho since 1991.<P>Dr. Alves-Foss received his Ph.D in Computer Science from the University ofCalifornia, Davis (UCD) in 1991, his M.S. in Computer Science from UCD in1989 and his B.S. in Physics, Mathematics and Computer Science from UCD in1987. <P><!WA11><a HREF="http://www.cs.uidaho.edu/~jimaf/cv/cv.html">Full curriculum vitae</a><H3> Teaching </H3>He teaches classes in computer networks, computer operating systems, theoryof programming languages and computer security. <B> Note </B> that many ofthese courses are offered through the UI engineering video outreach program(208-885-6373) on VHS tapes. These courses can be taken for UI credit oraudit, or rented/purchased for corporate viewing. I am open to discussingfree use of this material by other instructors, just drop me a <i><!WA12><a href="mailto:jimaf@cs.uidaho.edu">note</a></i>.<P>For Fall of 1996 he is teaching:<ul><li><!WA13><a href="http://www.cs.uidaho.edu/~jimaf/cs442/index.html">CS 442/542 <i>Computer Security Concepts</i></a>(available on video) <li><!WA14><a href="http://www.cs.uidaho.edu/~jimaf/cs541/index.html">CS 541 <i>Operating Systems</i></a>(available on video) </ul><P>For Spring of 1996 he taught:<ul><li><!WA15><a href="http://www.cs.uidaho.edu/~jimaf/cs420">CS 420/520 <i> Data Communications</i></a>(available on video) <li><!WA16><a href="http://www.cs.uidaho.edu/~jimaf/cs510">CS 510 <i> Theory of ProgrammingLanguages</i></a> (available on video) <li> <!WA17><IMG SRC ="http://www.cs.uidaho.edu/~jimaf/images/under-construction.gif"> CS 421 DataCommunications Lab</ul><P>Other Courses of note:<ul><li><!WA18><a href="http://www.cs.uidaho.edu/~jimaf/cs486">CS 486/586 <i>Software Specification</i></a></ul><B>NOTE:</B> See the <!WA19><a href = "http://www.cs.uidaho.edu/~jimaf/viewing.html">viewing information</a> page forinformation on how to view files found in these directories.<HR><H3><!WA20><IMG SRC = "http://www.cs.uidaho.edu/~jimaf/images/under-construction.gif">Research</H3><ul><li>Formal methods in software engineering<li>Surveying network information flow<ul><li>See <!WA21><A HREF = "http://www.cs.uidaho.edu/~jimaf/docs/snif.ps"> SNIF Overview</A> foran overview of the SNIF project.</ul><li>Authentication Protocol Research<ul><li> Development of new authentication protocols<li> Analysis of authentication protocols and their logics</ul><li>Microprocessor verification<li>Formal semantics of programming languages<ul><li> The semantics of the JAVA language</ul><li> The security of real-time embedded systems<li><!WA22><A HREF = "http://www.cs.uidaho.edu/~jimaf/docs/index.html">List of Publications </A></ul></ul><P><H3><!WA23><IMG SRC = "http://www.cs.uidaho.edu/~jimaf/images/under-construction.gif">Additional Information Provided for Researchers: </H3><ul><li><!WA24><A HREF="http://www.uidaho.edu/engr/Research"> UI College Of Engineering Research Page </A><li><!WA25><A HREF="http://www.cs.uidaho.edu/~jimaf/nsf-forms/nsf-forms.html"> NSF Smart Forms -- under construction </A><li> <!WA26><A HREF="http://www.cs.uidaho.edu/~jimaf/networking-docs/index.html"> Networking Documents </A><li> <!WA27><A HREF="http://www.cs.uidaho.edu/~frincke/research/security.html">Security Related Pointers </A><li> <!WA28><a HREF="http://www.cs.uidaho.edu/~jimaf/steam/index.html">The Steam Boiler Case Study</a><li> <!WA29><a HREF=""http://www.cs.uidaho.edu/~jimaf/java/index.html">JAVA Language Specification</a></ul><P></BODY>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?