جست‌وجوی استاد و پژوهشگر

Engelbert Hubbersمشاهده پروفایل

مدرس

• Formal Methods
• Electronic Voting Systems
• Cybersecurity
• +۳ مورد دیگر

Engelbert Hubbers is a Lecturer at Radboud University, affiliated with the Digital Security Group within the Institute for Computing and Information Sciences (iCIS). His primary role involves teaching responsibilities across multiple courses such as Mathematical Structures, Formal Reasoning, and Logic and Applications. His research interests focus on formal methods, electronic voting systems, and discrete mathematics, with a particular emphasis on cybersecurity applications like Java Card security and e-passport systems. Engelbert has contributed to significant projects such as the RIES internet voting system and the KOA remote voting system, emphasizing formal verification and secure protocol design. He has held roles in academic governance, including membership in the Exam Committee and Program Committee of iCIS. His work bridges theoretical computer science with practical applications in secure voting technologies and embedded systems. Publications span topics from formal logic in education to cryptographic protocols, reflecting his transition from foundational research (e.g., polynomial automorphisms) to applied security. His teaching includes coordinating courses on formal reasoning, discrete mathematics, and semantics, demonstrating a commitment to both education and cybersecurity innovation.

Alex Nicolauمشاهده پروفایل

استاد

• Parallelizing Compilers
• High-Performance Java
• Power-aware Computing
• +۳ مورد دیگر

Alex Nicolau is a Professor of Computer Science at the University of California, Irvine within the Donald Bren School of Information and Computer Sciences and an IEEE Fellow. He serves as Editor for PeerJ Computer Science and leads research at the Center for Embedded Computer Systems, focusing on high-performance computing systems and compiler-driven hardware optimization. His research spans Parallelizing Compilers , High-Performance Java , Power-aware Computing , and Reconfigurable Computing , with current projects including Julius C (divide-and-conquer algorithm modeling), EXPRESS (retargetable compiler framework), FORGE (distributed embedded systems optimization), SPARK (C-to-VHDL synthesis), and CoReComp (reconfigurable architecture compilers). These initiatives address critical challenges in energy efficiency, hardware-software co-design, and performance optimization for embedded platforms. Recent publications (2003-2004) reveal concentrated efforts on mobile energy efficiency and reconfigurable systems, with recurring themes of power management in multimedia streaming, task partitioning for watermarking algorithms, and network topology exploration in mesh architectures. His work demonstrates a cohesive vision bridging theoretical compiler advances with practical hardware implementations. His professional recognition includes: IEEE Fellow Professor Nicolau has mentored over 20 Ph.D. students to completion, including current advisees Weiyu Tang and Radu Cornea, and alumni like Sumit Gupta and Joseph Hummel who now lead industry and academic research. His editorial leadership as Editor-in-Chief of the International Journal of Parallel Programming and program committee roles for ICS and LCTES conferences reflect his significant contributions to the field. Based at UC Irvine's Center for Embedded Computer Systems (CECS 204), he directs a research ecosystem focused on compiler-driven hardware adaptation, with ongoing exploration into dynamic resource management and energy-aware system design for next-generation computing platforms.