Web Site Information :.

• Site Info
• Whois
• Traceroute
• RBL Check
• What's My IP?

Top / Computers / Computer_Science / People / A /

Augustsson, Lennart Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell. http://www.cs.chalmers.se/~augustss/ Chalmers.se  ~   Site Info   Whois   Trace Route   RBL Check   Alpuente, María Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation. http://www.dsic.upv.es/users/elp/alpuente.html Upv.es  ~   Site Info   Whois   Trace Route   RBL Check   Amarasinghe, Saman MIT - Compiler optimizations, computer architectures, software engineering and parallel computing. http://www.cag.lcs.mit.edu/~saman/ Mit.edu  ~   Site Info   Whois   Trace Route   RBL Check   Altenkirch, Thorsten Ludwig-Maximillians University - Type theory, categorical logic, and program verification. http://www.tcs.informatik.uni-muenchen.de/~alti/ Uni-muenchen.de  ~   Site Info   Whois   Trace Route   RBL Check   Acharya, Anurag University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies. http://www.cs.ucsb.edu/~acha/ Ucsb.edu  ~   Site Info   Whois   Trace Route   RBL Check   Agrawal, Divyakant University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management. http://www.cs.ucsb.edu/~agrawal/ Ucsb.edu  ~   Site Info   Whois   Trace Route   RBL Check   Almeroth, Kevin University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems. http://www.cs.ucsb.edu/~almeroth/ Ucsb.edu  ~   Site Info   Whois   Trace Route   RBL Check   Arun-Kumar, S. Indian Institute of Technology, Delhi - Semantics and Verification http://www.cse.iitd.ernet.in/~sak/ Ernet.in  ~   Site Info   Whois   Trace Route   RBL Check   Abreu, Luis Escola Secundária de Jaime Moniz - Biography and links. http://members.netmadeira.com/luisabreu/ Netmadeira.com  ~   Site Info   Whois   Trace Route   RBL Check   Ajmani, Sameer MIT - Distributed systems, software engineering and security. http://pmg.csail.mit.edu/~ajmani Mit.edu  ~   Site Info   Whois   Trace Route   RBL Check