Phone:
1 (530) 723-6267 (Google voice - rings all my numbers at the same time. Memonic: 530-7ADNAN7),
1 (512) 475-9774 (work), 1 (512) 471-5532 (fax), 1 (512) 418-8380 (home), 1 (512) 657-3040 (cell),
International travel: call 1-866-305-6462 toll-free, and enter 447924451798 at the
prompt, or call 44-792-4451798 directly.
Email:
Work: ACE 6.120, The University of Texas, Austin TX, 78712
(Click here for directions)
Home: 8701 Bluegrass Drive, Austin, TX, 78759
(Click here for directions)
I maintain a list of job openings appropriate for UT ECE students here.
Representative software
Azinix is a system for monitoring and
controlling IP networks - any feedback would be greatly appreciated.
VIS is a system for
analyzing the temporal behaviour of systems of interacting finite state machines.
wikisearch
is some code I put
together for analysing the page structure of Wikipedia.
Representative articles
Software verification:Sequential circuits for relational
analysis.
F. Zaraket, A. Aziz, and S. Khurshid. International Conference on Software Engineering,
Minneapolis MN, 2007.
Combinational logic synthesis:Optimising designs containing black boxes.
T. Liu, A. Aziz, and V. Singhal.
ACM Transactions on Design Automation of Electronic Systems,6(4), 2001.
Sequential synthesis:Sequential synthesis using S1S.
A. Aziz, F. Balarin, R. Brayton, and A. Sangiovanni-Vincentelli.
IEEE Transactions on Computer-Aided Design,19(10), 2000.
Good books I'm reading these days
Mathematics:Problems and Theorems in Classical Set Theory.
P. Komjath and V. Totik. Springer, 2007.
Natural History:The Ancestor's Tale. R. Dawkins. Phoenix, 2005.
Programming:Effective Java, Second Edition. J. Bloch. Prentice Hall, 2008.
Programming:Java Concurrency In Practice. B. Goetz. Addison Wesley Hall, 2006.
Berkeley course notes
I'm scanning my course notes from Berkeley, starting with my favorite classes.
Math 202a, Introduction to Topology, by William Bade, Spring 1992.