Abdullah Al-Nayeem

604 E. White St. #13

Champaign, IL 61820
Phone: (217) 979-3547
Email: aalnaye2@illinois.edu

OBJECTIVE An internship position with special interests in software analysis and development.

EDUCATION Ph.D. in Computer Science, July 2012 GPA: 3.89/4.0

University of Illinois at Urbana-Champaign (UIUC), Urbana, IL

B.Sc. in Computer Science and Engineering, November 2006 GPA: 3.94/4.0

Bangladesh University of Engineering and Technology (BUET), Bangladesh

RESEARCH Complexity reduction of design and verification process, formal analysis and system
INTEREST development of fault-tolerant distributed and embedded systems.

RESEARCH Graduate Research Assistant, Advisor: Prof. Lui Sha Spring 2008 - Present
EXPERIENCE University of Illinois at Urbana-Champaign, Urbana, IL
• Developed an architectural pattern, called PALS, for significant reduction in
design and verification complexities of real-time distributed systems.
• Developed a middleware implementing the PALS pattern and successfully demon-
strated on a physical testbed.
• Developed static analysis and automatic transformation tools for the architec-
tural models of this pattern in Eclipse.

Undergraduate Researcher Nov 2005 - Nov 2006

Bangladesh University of Engineering and Technology, Bangladesh
• Developed a general-purpose simulator for Network-on-Chip Architectures to
simulate different interconnection networks, e.g. Mesh, Butterfly.

TEACHING Guest Lecturer Spring 2010, Fall 2010

EXPERIENCE University of Illinois at Urbana-Champaign, Urbana, IL
• CS598LRS - Cyber Physical Systems, two lectures
• CS431 - Embedded System Architecture, three lectures

Graduate Teaching Assistant Fall 2009, Fall 2007

University of Illinois at Urbana-Champaign, Urbana, IL
• CS431 - Embedded System Architecture, Instructor: Prof. Lui Sha.
• CS232 - Computer Architecture, Instructor: Prof. Craig Zilles.

Lecturer Dec 2006–Jun 2007

United International University, Dhaka, Bangladesh
• Data Structure and Objected-oriented Programming Lab

COMPUTER Languages: C/C++, Java, Smalltalk, 80x86 Assembly, MIPS, Prolog

SKILLS Tools & Modeling Languages: CUTE, KLEE, NuSMV, UPPAAL, UML, AADL
Web and Database Technologies: JSP, PHP, MySQL, Oracle, Struts, Hibernate
Operating Systems: Windows, Unix.
PUBLICATIONS Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven Miller, and Darren
Cofer, “A Formal Architecture Pattern for Real-time Distributed Systems”, Proceed-
ings of the 30th Real-Time Systems Symposium (RTSS), 2009.

Steven Miller, Darren Cofer, Lui Sha, Jose Mesguer, and Abdullah Al-Nayeem,
“Implementing Logical Synchrony in Integrated Modular Avionics”, Proceedings of
the 28th Digital Avionics Systems Conference (DASC), 2009. (Best paper award)

Lui Sha, Abdullah Al-Nayeem, Mu Sun, Jose Meseguer, and Peter Olveczky,
“PALS: Physically Asynchronous Logically Synchronous System”, University of Illi-
nois Technical Report, 2009.

Ahmed Khurshid, Abdullah Al-Nayeem, and Indranil Gupta, “Performance Eval-

uation of the Illinois Cloud Computing Testbed”, University of Illinois Technical
Report, 2009.

Hemayet Hossain, Mostak Ahmed, Abdullah Al-Nayeem, Tanzima Zerin Islam,

and Md. Mostofa Akbar, “gpNoCsim - A General Purpose Simulator for Network-
on-Chip”, Proceedings of ICICT, 2007.

POSTER AND Poster: PALS: Physically Asynchronous Logically Synchronous Systems (Reducing
DEMO the Complexity and Cost of Networked Avionics Systems), Lockheed Martin Fellows
Conference, May 2010.

Demo: PALS & PRISM Demo of a Distributed Control System, Rockwell Collins Inc.,
April 2010. (Youtube video: http://www.youtube.com/watch?v=j5UjHc9Ug9g)

SOFTWARE Distributed Systems:

PROJECTS • Developed performance evaluation tools for the Illinois Cloud Computing Testbed.
• Developed distributed control systems for physical testbeds, e.g. inverted pen-
dulum, water seesaw.
• Developed a small-scale distributed file sharing system.

Software Engineering and other areas:

• Designed the database system in MySQL and developed core PHP modules of
the website, www.buet.ac.bd/cse.
• Developed a reflection framework in Squeak to analyze design patterns.
• Performed fault analysis of silent data corruptions.
• Implemented a voice-activated home appliances controlling system.
• Developed an online inventory management system.

AWARDS AND David Lubkowski Award: For the 28th DASC best paper.
HONORS Dean’s List: For every year during the undergraduate study.
Academic Excellence Award: Highest CGPA in Nazrul Islam Hall, BUET, 2006.
University Merit Scholarship: For every semester during the undergraduate study.
Best Website Award: Website development contest, Department of CSE, BUET.
Best Class Project: CS525 - Advanced Distributed Systems, UIUC, Spring 2009.

REFERENCES Prof. Lui Sha, UIUC (lrs@illinois.edu)

Prof. Indranil Gupta, UIUC (indy@illinois.edu)
Dr. Steven Miller, Rockwell Collins Inc. (spmiller@rockwellcollins.com)