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

• Programming Languages
• Type Systems
• Formal Semantics
• +۳ مورد دیگر

Dr. Filip Sieczkowski is an Assistant Professor in the School of Mathematical & Computer Sciences at Heriot-Watt University, specializing in the Department of Computer Science. His research focuses on foundational aspects of programming languages, including type systems, formal semantics, algebraic effects, and concurrency. He holds a PhD in Computer Science and has contributed to advancing theoretical frameworks for effect handlers, reduction theories, and parallel computation models. His work explores topics such as generalized algebraic data types, operational semantics, and the integration of effect systems with concurrent programming. Recent publications highlight contributions to reduction theory for effect handlers and formal methods for parallel scheduling. Dr. Sieczkowski’s research has been published in leading venues such as ACM SIGPLAN conferences and journals. His work emphasizes bridging theoretical insights with practical programming language design, particularly in functional and concurrent contexts. No awards or grants were explicitly mentioned in the provided text.

• Distributed Computing
• Multiprocessor Programming
• Concurrency Control
• +۳ مورد دیگر

Maurice Herlihy is the An Wang Professor of Computer Science at Brown University's School of Engineering, Department of Computer Science. He holds a Ph.D. in Computer Science from MIT and an A.B. in Mathematics from Harvard University. His career includes roles at Carnegie Mellon University and the DEC Cambridge Research Lab. Herlihy is renowned for contributions to distributed computing, concurrency control, and blockchain technologies. He has authored influential books like The Art of Multiprocessor Programming and Distributed Computing Through Combinatorial Topology . His research focuses on consensus algorithms, transactional memory, and distributed systems design. Herlihy has received prestigious awards, including multiple Dijkstra Prizes, the Gödel Prize, and the Wallace McDowell award. He is an ACM Fellow and holds fellowships from the National Academy of Engineering and other institutions. His recent work explores blockchain concurrency, sharded ledgers, and fault-tolerant consensus protocols. He has delivered keynotes on blockchains and distributed computing and teaches courses on multiprocessor synchronization and combinatorial topology in computing. His contributions bridge theoretical foundations and practical implementations, emphasizing scalability, security, and concurrency in distributed systems.

• Computer Architecture
• Reliable Computer Design
• Fault Detection and Recovery
• +۳ مورد دیگر

Gülay YALÇIN is an Assistant Professor at Abdullah Gul University since 2016. She holds a Ph.D. in Computer Architecture from Universitat Politècnica de Catalunya (2014), an MS in Computer Engineering from TOBB University (2007), and a BS in Computer Engineering from Hacettepe University (2003). Her research focuses on reliable computer design, fault detection, parallel architectures, and low-power systems. She has led projects like ParaDIME (2012-2015) and Velox (2008-2011), advancing energy-efficient computing and transactional memory. Education: Ph.D., Universitat Politècnica de Catalunya, Department of Computer Architecture (2008-2014) M.S., TOBB University of Economics and Technology, Computer Engineering (2007) B.S., Hacettepe University, Computer Engineering (2003) Research Interests: Her work spans fault-tolerant computing, energy-efficient designs, hardware transactional memory, and parallel architectures. She has contributed to error detection techniques leveraging comparators, voltage scaling for reliability, and novel cache designs like Flexicache. Key Projects: ParaDIME (2012-2015): Energy minimization in data centers. Shortlisted for the 2016 Innovation Radar Prize. Velox (2008-2011): Transactional memory for multi-core systems. Reliable Embedded Processors (2007-2008): Fault mitigation in embedded systems. Teaching: She teaches undergraduate courses on 'Exploring Profession' and graduate courses on 'Computer Architecture.' Advising: Currently advising M.S. student Albert Njoroge Kahira on reliable microarchitecture design. Labs/Teams: Active in the Barcelona Supercomputing Center (BSC) during her postdoc (2014-2015) and as a graduate researcher (2009-2014).

• Databases
• Database Theory
• Complexity Theory
• +۲ مورد دیگر

Christoph Koch is an Associate Professor at Technische Universität Wien specializing in databases and artificial intelligence. His research spans database theory, complexity theory, and logic in computer science, with a focus on XML processing, query optimization, and parallel data science techniques. Lead projects: KnowledgeGraph (2020–2028), HINT (2012–2017), Weblearn (2005–2008) Developed the Lixto visual extraction system and contributed to DLV knowledge representation framework Supervised T. Lukasser's diploma thesis on XPath query processing

Yasser Rezaeiyanمشاهده پروفایل

پژوهشگر

• Neuromorphic Computing
• Spintronics
• Biomedical Circuits
• +۳ مورد دیگر

Yasser Rezaeiyan is a Senior Researcher at the Department of Electrical and Computer Engineering (Electronics and Photonics group) at Aarhus University. His research focuses on neuromorphic computing, spintronics-based systems, and biomedical circuit design. He specializes in developing energy-efficient and high-performance analog/mixed-signal integrated circuits for applications in healthcare, environmental monitoring, and smart infrastructure. Key technical contributions include neuromorphic hardware leveraging spintronics and vortex oscillators, low-power sensor systems for leakage detection in district heating networks, and ultrasonically powered biomedical implants. His work bridges device physics, circuit design, and system-level integration to address challenges in next-generation computing and IoT. Publications highlight interdisciplinary innovations such as reservoir computing for seizure detection, STT-RAM-based in-memory computing architectures, and high-bandwidth operational amplifiers. His research has been published in top-tier journals like IEEE Transactions on Magnetics and IEEE Transactions on Biomedical Circuits and Systems. Rezaeiyan holds a strong record in analog circuit design, with expertise in chopper stabilizers, bio-impedance measurement systems, and energy harvesting solutions. His lab focuses on translating fundamental physics into practical systems with real-world impact.

• Project and Construction Management
• Construction Contracts Management
• FIDIC Contracts
• +۳ مورد دیگر

Assoc. Prof. Deniz Artan holds a PhD in Building Sciences from Istanbul Technical University and serves in the Civil Engineering Department. Their research focuses on Project and Construction Management, Construction Contracts Management, and FIDIC Contracts. They have advised numerous graduate theses on topics like digital contract systems, risk assessment in PPP projects, and blockchain applications in construction. Education: PhD in Building Sciences, Istanbul Technical University (2006-2010) MA in Informatics in Construction Management (2000-2002) Bachelor's in Architecture (1997-2001) Research interests include construction dispute resolution mechanisms, BIM implementation challenges, and sustainable construction practices. They received the 2016 Emerald Publishing Outstanding Paper Award for work on construction mediation practices. Recent articles analyze smart contract impacts on claim management, digital twin adoption, and pandemic effects on construction sites. Their work bridges legal frameworks, technological innovation, and occupational safety in complex projects. Prof. Artan has no registered patents but actively contributes to editorial roles, including Court Connected Construction Mediation Practice . Their advising portfolio spans 24+ theses since 2014, emphasizing real-world industry challenges.

Mingzhong Wuمشاهده پروفایل

استاد

• Topological Quantum Materials
• Magnetic Thin Films
• Spin Transport
• +۷ مورد دیگر

Mingzhong Wu is a Professor of Electrical and Computer Engineering and Physics at Northeastern University, with a joint appointment in the College of Engineering. He is also a member of the Cross-College Magnetics Center and the director of the Northeastern Advanced Magnetics & Electronics (NAME) Laboratory. Wu earned his PhD in Solid State Electronics from Huazhong University of Science & Technology in 1999. He holds prestigious fellowships from the American Physical Society and the Institute of Electrical and Electronics Engineers, and was named Professor Laureate at CNS, Colorado State University (2019-2021). His research focuses on topological quantum materials, magnetic thin films, spin transport, spin torque, spin waves, and ferromagnetic resonance. The NAME Lab explores spintronics, magnonics, and topological materials, aiming to advance next-generation microelectronics and computing through discoveries in magnetic phenomena and high-frequency electronics. Recent work emphasizes spin wave dynamics in magnonic crystals, topological insulator interfaces, and low-damping magnetic nanostructures. Over 150 peer-reviewed publications highlight his contributions to spin Hall effects, magneto-electric coupling, and spin wave bullet propagation. Current projects include developing spin-wave-based computing architectures and exploring quantum sensing in magnetic systems. Key Achievements : First demonstration of magnetization switching via topological Dirac semimetals Pioneering studies on magnon-mediated spin transport in insulating heterostructures Development of ultra-low-damping yttrium iron garnet films His research bridges fundamental physics and applied engineering, with applications in high-density data storage, low-power computing, and quantum technologies. The NAME Lab collaborates extensively with industry and academia on projects funded by the NSF, DOE, and DARPA.

Pierre McKenzieمشاهده پروفایل

دانشیار

• Finite Automata
• Boolean Circuit
• Formal Language
• +۳ مورد دیگر

Pierre McKenzie is an Associate Professor in the Department of Computer Science and Operations Research at the University of Montreal, part of the Faculty of Arts and Sciences. He is a member of the LITQ (Laboratoire d'informatique théorique et quantique). His research focuses on computational complexity theory, finite automata, Boolean circuits, formal languages, and logic. He has advised numerous graduate and master's students, including Hugo Côté, Nathan Grosshans, and Michael Blondin. His work has been supported by grants from the Natural Sciences and Engineering Research Council of Canada (CRSNG), particularly in projects like 'Lower bounds and derandomizations for branching programs' (2018–2026). Research Interests: Computational complexity hierarchy separations Branching programs and circuit lower bounds Automata theory and its connections to circuit complexity Algorithmic and complexity aspects of counter systems Key Projects: Lower bounds and derandomizations for branching programs (Lead researcher, 2018–2026) THE COMPUTATIONAL COMPLEXITY OF POLYNOMIAL TIME PROBLEMS (Lead researcher, 2012–2019) Labs/Teams: Active member of LITQ, contributing to theoretical computer science research.

Douglas P. Holmesمشاهده پروفایل

استاد

• Mechanics
• Elasticity
• Structural Stability
• +۳ مورد دیگر

Douglas P. Holmes is a Professor of Materials Science & Engineering and Mechanical Engineering at Boston University. He leads the Mechanics of Slender Structures (MOSS) Lab and is affiliated with the Materials by Design initiative. His research focuses on understanding and controlling the mechanics, geometry, and physics of slender structures like rods, plates, and shells, with applications in microfluidics, soft robotics, and biomimetic systems. Holmes has pioneered studies on elastic instabilities, wrinkling, and bistable systems, leveraging these phenomena for advanced functionalities. Education: PhD in Polymer Science and Engineering from the University of Massachusetts-Amherst (2015). He holds an NSF CAREER Award and has contributed to over 100 publications. His work bridges fundamental mechanics with practical engineering solutions, emphasizing the interplay between material properties and structural design. Additional affiliations include the Division of Materials Science & Engineering at BU. Research Interests: Elasticity, structural stability, geometric nonlinearities, and the mechanics of thin materials. Key areas include elastogranular metamaterials, kirigami-based actuators, and energy-harvesting systems through controlled instabilities. Notable Achievements: NSF CAREER Award (2015) for work on mechanics of materials, highlighted in media for innovations like 'rocks and rope strengthened by seeds' (2024). His lab develops novel methods to manipulate fluid flow via elastic deformations and designs bioinspired actuators. Labs/Teams: Mechanics of Slender Structures (MOSS) Lab, Materials by Design (Primary & Affiliated Faculty).

• Safe AI
• Formal Methods
• Reinforcement Learning
• +۵ مورد دیگر

Francesco Belardinelli is a Senior Lecturer in the Department of Computing at Imperial College London, part of the Faculty of Engineering. He co-directs the UKRI Centre for Doctoral Training (CDT) in Safe and Trusted AI and leads the EPSRC-funded project 'An Abstraction-based Technique for Safe Reinforcement Learning'. His research focuses on Safe AI, formal methods, and strategic reasoning in multi-agent systems under imperfect information. He holds a PhD and undergraduate degrees from Scuola Normale Superiore, Italy. Belardinelli's work bridges formal verification techniques with AI systems, particularly in ensuring safety in reinforcement learning and multi-agent dynamics. He has secured grants including EPSRC NIA, ANR projects (e.g., AGAPE, SVeDaS), and Marie Curie Fellowships. He supervises multiple PhD and postdoctoral researchers in areas like safe RL, formal methods, and multi-agent systems. His educational contributions include courses on logical aspects of AI and scientific research methodologies. He organizes events like the FMAI Seminar series and chairs international conferences (e.g., AAMAS 2021 workshop). His outreach activities include invited talks on topics like safety-aware RL and epistemic logic.

Faquir Jainمشاهده پروفایل

استاد

• Microelectronics
• Optoelectronics
• Quantum Dots
• +۶ مورد دیگر

Faquir Jain is a Professor in the Department of Electrical and Computer Engineering at the University of Connecticut, affiliated with the School of Engineering. His research focuses on microelectronics, optoelectronics, quantum structures, and nanotechnology. He holds a Ph.D. from the University of Connecticut and has authored numerous technical publications. He actively participates in NSF review panels and serves on editorial/advisory boards for IEEE conferences and the Connecticut Microelectronics and Optoelectronics Consortium (CMOC). His research projects include micro-fuel cells, DNA-assisted photonic crystal fabrication, and implantable biosensors. Education: B.S. Physics (Agra University, 1962), M.S. Physics (Agra University, 1963), B.S.E.E. (Roorkee University, 1965), M.S.E.E. (Indian Institute of Technology, 1968), Ph.D. (University of Connecticut, 1973). Research Interests: Quantum dot-based devices, optoelectronic modulators, nanochannel FETs, and bio-integrated sensors. He has led projects funded by the U.S. Army, Air Force, and Office of Naval Research. Recent work includes quantum dot gate transistors, multi-state SRAMs, and low-power CMOS ASIC chips for biomedical applications. Professional Activities: Coordinator of CT Microelectronics & Optoelectronics Consortium, member of IEEE Nanotechnology Advisory Board, and presenter at DARPA-MTO and Naval Underwater Warfare Center events. Lab/Team: Active in CMOC and collaborates with institutions like Taif University on nanoelectronics and biosensors.

Mehdi Anwarمشاهده پروفایل

استاد

• Semiconductor Physics
• Nanotechnology
• Terahertz Technology
• +۷ مورد دیگر

Dr. Mehdi Anwar is a Full Professor in the Department of Electrical and Computer Engineering at the University of Connecticut, specializing in semiconductor physics , terahertz technology , and quantum devices . His research spans ZnO nanowire UV detection , III-Nitride quantum cascade lasers , and memristor-based security systems . He has pioneered low-noise antimony-based HEMTs with exceptional performance metrics. Academic Affiliation: University of Connecticut, College of Engineering Editorial Roles: IEEE Journal on Electron Devices, IEEE Transactions on Electron Devices Professional Activities: Conference Chair for SPIE Defense, Security and Sensing Terahertz Physics meetings His team has published over 240 archival works and developed THz spectroscopy techniques for counterfeit electronics detection . These methods utilize back-referenced refractive index analysis (∆n) to authenticate packaged ICs without requiring a 'golden IC' or powered-up components. A handheld THz source for rapid ∆n measurement is under development. Research highlights include: Design of III-Nitride HFETs for RF applications Quantum Mechanical Wave Impedance modeling for resonant tunneling devices Piezoelectric energy harvesting using ZnO nanorods on flexible substrates Coaxial ZnMgO/ZnO core-shell nanowires for enhanced gas sensing Scientific Awards: SPIE Fellow Jefferson Science Fellow (U.S. Department of State) Dr. Anwar's advising includes mentoring researchers like Kiarash Ahi , Anas Mazady , and Abdiel Rivera . His work has been funded through U.S. Department of State collaborations and United Nations technology transfer initiatives, including the establishment of the United Nations Technology Bank for Least Developed Countries .

Behrooz Parhamiمشاهده پروفایل

استاد

• Computer Arithmetic
• Parallel Processing
• Fault Tolerance
• +۴ مورد دیگر

Behrooz Parhami is a Distinguished Professor in the Department of Electrical and Computer Engineering at the University of California, Santa Barbara, where he has been a faculty member since 1988. He previously served as Associate Dean for Academic Personnel in the College of Engineering from 2009-2012 and as Vice Chairman of the ECE Department from 1990-1992. Before joining UCSB, he was a professor at Sharif University of Technology in Tehran, Iran from 1974-1988. He received his PhD in Computer Science from UCLA in 1973. Professor Parhami's research focuses on computer arithmetic, parallel processing, and fault-tolerant computing. In computer arithmetic, he pioneered generalized signed-digit number systems as a unified framework for redundant representations. His work in parallel processing includes contributions to database processors, interconnection networks, and scalable architectures. In fault tolerance, he developed systematic data-driven methodologies for reliable hardware and software systems. He has also made significant contributions to adapting computer technology for Persian language computing. His scholarly output demonstrates consistent focus on fundamental computing principles. Recent publications show continued exploration of unconventional number systems, reliability analysis, and specialized computing architectures. His work bridges traditional computer architecture with emerging technologies including atomic-scale computing, neuromorphic systems, and novel memory technologies. His research maintains relevance through connections to both theoretical foundations and practical implementations. IEEE Life Fellow Fellow of Institution of Engineering and Technology Chartered Fellow of British Computer Society IEEE Centennial Medal (1984) Top-cited article award from Journal of Parallel and Distributed Computing (2010) IET Circuits, Devices & Systems Premium Achievement Award (2009) Sharif University Technology Association's Dr. Amin Lifetime Achievement Award (2024) Professor Parhami has graduated four PhD and numerous MS students. His teaching spans both undergraduate and graduate levels, with recent courses including ECE 1B (Puzzling Problems in Computer Engineering), ECE 252B (Computer Arithmetic), ECE 254B (Parallel Processing), and ECE 257A (Fault Tolerant Computing). He has authored six textbooks that have been widely adopted internationally, including works on parallel processing, computer arithmetic, and computer architecture. His consulting activities focus on high-performance digital system design and intellectual property issues. He is actively involved in promoting gender equity through UCSB's Men Advocating for Gender Equity (MAGE) group, which he currently chairs.

J. Todd McDonaldمشاهده پروفایل

استاد

• Software Protection and Assurance
• Secure Software Engineering
• Anomaly Detection
• +۵ مورد دیگر

Dr. J. Todd McDonald is a Professor of Computer Science at the University of South Alabama's School of Computing. He serves as Director of the Center for Forensics, Information Technology, and Security (CFITS) and has held academic roles including Associate Professor (2011-2014) and Assistant Professor at the Air Force Institute of Technology (2006-2009). His education includes a Ph.D. in Computer Science from Florida State University (2006), MS in Computer Engineering from AFIT (2000), MBA from University of Phoenix (1996), and BS from the U.S. Air Force Academy (1990). Research Interests: Focus on software/hardware protection (obfuscation, watermarking), malware analysis, secure embedded systems, and cybersecurity. Notable projects include Phase-Space Analysis for seizure prediction, CAN network security, and development of the Program Encryption Toolkit (PET) for circuit protection research. Publications: Over 80 peer-reviewed articles in journals/conferences (e.g., IEEE, ACM) covering topics like side-channel analysis, malware detection, and cybersecurity frameworks. Recent work includes 2025 research on embedded system anomaly detection and 2021 studies in Android malware classification. Awarded Best Poster (IEEE HOST 2016) and Best Paper (CISR 2014) Managed NSF Scholarship for Service program ($6M+ funding) Advised 20+ graduate students in cybersecurity and software protection Led USA's DayZero Cyber Defense Competition teams (5th NCCDC 2017) Labs/Teams: SPERG (System Protection & Exploitation Research Group), CFITS directorship, and leadership in SSPREW workshop series. Active in developing cybersecurity education curricula and industry partnerships.

Snorre Aunetمشاهده پروفایل

استاد

• Ultra-low-voltage circuits
• Low-power CMOS design
• Subthreshold electronics
• +۹ مورد دیگر

Snorre Aunet is a Professor II in the Department of Informatics at the University of Oslo, affiliated with the Faculty of Mathematics and Natural Sciences. He is a key member of the Nanoelectronics Systems Research Group and contributes to the 4DSpace project. His academic background includes a Dr. ing. from NTNU (2002) and a cand. scient. from the University of Oslo (1993). His research focuses on ultra-low-voltage and low-power mixed-signal circuits , particularly in subthreshold operation, with applications in IoT, space systems, and energy harvesting. He specializes in radiation-hardened (radhard) and defect-tolerant architectures, leveraging advanced semiconductor technologies like 22nm and 28nm FDSOI. His work integrates circuit design, microarchitecture, and reliability under extreme conditions such as radiation exposure and process variation. The recent trend in his publications shows a strong emphasis on energy-efficient VLSI design , including SRAM cells, adders, level shifters, and flip-flops operating in subthreshold regimes. He has also expanded into MEMS-based energy harvesting and hardware security, demonstrating a broad and evolving research portfolio. His collaborations span institutions and involve both theoretical modeling and practical implementation. Scientific Awards: No specific awards mentioned in the provided text. Advising and Grants: Snorre Aunet has supervised multiple students, including Somayeh Hossein Zadeh, Even Låte, and Ali Asghar Vatanjou, whose names appear as co-authors on several publications. He is involved in the 4DSpace research project, indicating active grant funding and leadership in space-related electronics research. His advising style appears collaborative, with students contributing to high-impact journals and conferences. Labs and Teams: He is a core member of the Nanoelectronics (NANO) research group at the Department of Informatics, which focuses on next-generation electronic systems. This group is engaged in cutting-edge research in nanoscale circuits, low-power design, and robust computing architectures.