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

• Semantic Web Technologies
• Distributed Systems
• E-Learning Systems
• +۳ مورد دیگر

Милорад Б. Тошић is a Full Professor at the Faculty of Electronic Engineering, University of Niš, specializing in Computer Science. He earned all his academic degrees (BSc 1989, MSc 1992, PhD 1998) from the same institution in Electrical Engineering and Computer Science. His research spans Semantic Web Technologies, Distributed Systems, and E-Learning Systems, with notable contributions in federated testbeds, trust-based peer assessment, and collaborative wiki tagging. His work bridges theoretical computer science with practical applications in education and embedded systems. His publication trends show consistent contributions from 1991 to 2014, with recent focus shifting from hardware design (1990s) to semantic technologies and e-learning systems (2000s-2010s), demonstrating adaptability across evolving technological domains. US Patent Application No. 09/636,552 for Internet-Enabled Embedded Device Technology validated by Motorola, Microchip, Philips, and Delphi As former Science and Technology Advisor to the Serbian Minister (2002-2003), he contributed to national science policy. His current research involves 4 national and 3 international projects totaling 7 impact-factor journal publications. His patented embedded device technology has achieved commercial validation through major global electronics firms.

Jordi Cortadella Fortunyمشاهده پروفایل

استاد

• Electronic Design Automation
• Concurrent Systems
• Algorithms
• +۶ مورد دیگر

Jordi Cortadella Fortuny serves as a Full Professor in the Department of Computer Science at the Faculty of Informatics of Barcelona (FIB), Polytechnic University of Catalonia (UPC), where he has maintained continuous academic service since 1985. He currently chairs the UPC Ethics Committee (2021-2025) and leads research within the ALBCOM group specializing in algorithms, bioinformatics, complexity, and formal methods. Education: M.S. in Computer Science, Universitat Politècnica de Catalunya, 1985 Ph.D. in Computer Science, Universitat Politècnica de Catalunya, 1987 Research Interests: Professor Cortadella's pioneering work centers on Electronic Design Automation (EDA) with deep specialization in asynchronous circuit design and concurrent systems . His research integrates formal methods and mathematical optimization to solve complex VLSI design challenges, particularly in logic synthesis and computer arithmetic. This interdisciplinary approach bridges theoretical computer science with practical semiconductor engineering, yielding significant industry impact through patented methodologies and industrial collaborations. Scientific Awards: Fellow of the IEEE (2015) Member of Academia Europaea (2013) Distinction for University Research Promotion by Catalan Government (2003) Five-time Best Paper Award recipient at premier conferences (2004-2020) Descartes Prize Finalist (2002) UPC Best Ph.D. Thesis Award (1992) National Computer Science Student Award (1986) Advising and Service: Cortadella has mentored numerous graduate students while serving on editorial boards for IEEE Transactions on CAD and SN Computer Science. His extensive service includes technical committee leadership at major international conferences and co-founding Elastix Corp. as Chief Scientist (2007-2010), where he directed Barcelona-based R&D for semiconductor verification tools. Research Infrastructure: As core member of the ALBCOM research group, he directs projects in algorithmic foundations of EDA, maintaining strong industry partnerships with Intel and semiconductor design firms through UPC's CITCEA laboratory facilities.

• Autonomous Navigation for Robots
• Deep Learning
• Artificial Intelligence
• +۷ مورد دیگر

Jesús Tordesillas Torres is an Assistant Professor in the Department of Electronics, Automation, and Communications at the School of Engineering, Comillas Pontifical University. He joined the institution in June 2024, bringing extensive experience from postdoctoral research at MIT and ETH Zurich, and prior academic training from MIT and the Polytechnic University of Madrid. Education: PhD in Aeronautics and Astronautics, Massachusetts Institute of Technology (MIT), 2022 MS in Aeronautics and Astronautics, MIT, 2019 MS in Industrial Engineering, Polytechnic University of Madrid, 2019 BS in Industrial Engineering, Polytechnic University of Madrid, 2016 His research focuses on robotics, particularly autonomous navigation, trajectory planning, and optimization under uncertainty. He integrates deep learning and control theory to develop systems capable of safe, fast, and perception-aware navigation in dynamic and unknown environments. His work spans aerial and ground robots, multiagent systems, and challenging terrains, with strong emphasis on real-world deployment and robustness. The recent publications highlight a consistent trend in trajectory optimization, perception-aware planning, and multiagent coordination. His work bridges theoretical advances in optimization and learning with practical robotic applications, especially in safety-critical and communication-constrained scenarios. Scientific Awards: Best Paper Award, IEEE ICRA 2023 1st Place, Urban Circuit, DARPA Subterranean Challenge (2020) 2nd Place, Tunnel Circuit, DARPA Subterranean Challenge (2021) Finalist, Best Paper, IEEE IROS 2019 Jesús Tordesillas Torres has been actively involved in research grants and projects, including the ADS FERRARI WP-2 Project funded by Airbus Defence and Space (2025–2025). He mentors students and collaborates with leading institutions such as MIT, ETH Zurich, and the University of Pennsylvania. He also serves as a reviewer for top-tier journals including IEEE Transactions on Robotics , International Journal of Robotics Research , and IEEE Robotics and Automation Letters , as well as major conferences like ICRA and IROS. He leads and participates in research teams focused on autonomous systems, with affiliations to the Institute for Research in Technology (IIT) at Comillas. His invited talks at ETH Robotics Summer School and University of Pennsylvania reflect his growing influence in the robotics community.

Armin Alaghiمشاهده پروفایل

استادیار

• Embedded Systems
• Digital Circuits
• Mathematics
• +۷ مورد دیگر

Armin Alaghi serves as a Research Scientist at Oculus Research (Redmond, WA) and holds an Affiliate Assistant Professor position at the University of Washington. His dual affiliation enables valuable knowledge transfer between cutting-edge industrial research and academic pursuits in computer systems engineering. Dr. Alaghi's research spans the intersection of embedded systems, digital circuits, and mathematics. His primary focus involves building low-power augmented reality (AR) and virtual reality (VR) systems while developing novel computation methods for unreliable beyond-CMOS technologies. His previous research contributions include significant work in stochastic computing (where he developed the STRAUSS synthesis methodology), reliable Network on chip (NoC) design, FPGA testing methodologies, NoC testing techniques, artificial neural networks implementations, asynchronous circuit design, and multi-valued logic systems. He has made his spectral-transform-based synthesis tool publicly available on GitHub, demonstrating commitment to open research. Analysis of Dr. Alaghi's publication record reveals a clear research trajectory from foundational circuit-level work toward practical applications in AR/VR systems. His publications from 2020-2025 demonstrate expertise spanning computer architecture, security for immersive technologies, neural network compression techniques, and homomorphic encryption methods. A recurring theme throughout his work is the exploration of quality-energy tradeoffs and error-resilient computing approaches, with increasing focus on security aspects of AR/VR systems in his most recent work. Dr. Alaghi maintains active connections with the broader research community, as evidenced by his Erdős number of 3 (Armin Alaghi John P. Hayes Frank Harary Paul Erdős) and his ongoing contributions to open-source research tools. His GitHub repository for stochastic computing synthesis shows community engagement with multiple contributors. At Oculus Research, Dr. Alaghi applies his theoretical expertise to practical challenges in next-generation AR/VR system development. His work bridges academic research with real-world product development, particularly in addressing energy efficiency challenges for wearable computing platforms through innovative circuit design approaches.

• Technology Education
• Engineering Education
• STEM Education
• +۳ مورد دیگر

Joseph Furse serves as an Assistant Professor in the Department of Applied Sciences, Technology and Education (ASTE) within Utah State University's S.J. & Jessie E. Quinney College of Agriculture & Natural Resources. His academic appointment bridges agricultural education with technological pedagogy, focusing on practical implementation of emerging technologies in secondary and post-secondary settings. His research centers on technology and engineering education (TEE) with specialization in robotics integration, drone applications, and electronics curriculum development. Key interests include teacher support systems for technological literacy, student self-efficacy in competitive robotics, and standards-based implementation of engineering education frameworks. His work consistently addresses rural educational contexts and agricultural applications of technology. Publication analysis reveals evolving research trajectories: recent work (2023-2025) emphasizes AI adoption in agricultural education and teacher mentoring systems, while foundational studies (2015-2019) established robotics competition impacts on student outcomes and electronics curriculum transformation. His scholarship demonstrates consistent focus on practical classroom applications and measurable educational outcomes in technology-intensive learning environments.

• Computer Architecture
• Parallel Programming
• Compilers
• +۶ مورد دیگر

Martha A. Kim is an Associate Professor in the Department of Computer Science at Columbia University's School of Engineering and Applied Science. She serves as a Member of the Data Science Institute, Center Co-Chair of the Center for Computing Systems for Data-Driven Science, and Chair of the Computer Engineering Program. Professor Kim's research focuses on computer architecture with particular emphasis on the hardware-software interface. Her work develops tools and designs that help computer systems operate efficiently and intuitively, including database accelerators for energy-efficient queries, techniques for optimizing parallel software to better utilize hardware resources, and improving the versatility of specialized hardware accelerators. She leads the ARCADE Lab where she conducts research in computer architecture, parallel programming, compilers, and low-power computing. Her publication record shows consistent output at top-tier conferences including ASPLOS, MICRO, MEMOCODE, ISLPED, DAC, DaMoN, CC, and CGO, with recent work spanning video transcoding in the cloud, pipelined dataflow circuits, thermal monitoring, and database acceleration. Professor Kim has received several prestigious awards: 2013 Rodriguez Family Award 2015 Edward and Carole Kim Faculty Involvement Award 2013 NSF CAREER award 2016 Anita Borg Early Career Award She currently advises three doctoral students (Martha Barker, Thomas Repetti, and Andrea Lottarini) and has previously graduated PhD students Melanie Kambadur (2016) and Lisa Wu (2014). Her research is supported by C-FAR, DARPA, Google, Intel, and NSF. Professor Kim teaches Fundamentals of Computer Systems, Computer Architecture, and Principles and Practice of Parallel Programming courses at Columbia University. The ARCADE Lab provides opportunities for students to work on cutting-edge research in hardware-software interface optimization, with applications in energy efficiency, database acceleration, and parallel computing systems.

• Artificial Intelligence
• Edge AI
• Sensors
• +۷ مورد دیگر

Amirreza Yousefzadeh is an Assistant Professor specializing in computer architecture design for embedded systems. His research focuses on hardware acceleration for artificial intelligence, particularly in energy-efficient neuromorphic computing and edge AI applications. Research Interests Neuromorphic computing architectures Event-driven AI hardware Sparsity exploitation in neural networks Embedded vision systems Digital circuit design for AI Research Trends Recent work (2024-2025) demonstrates expertise in spiking neural networks (SNNs), activation sparsity, and hardware-software co-design for neuromorphic processors. Key areas include object detection, energy efficiency optimization, and digital implementations of synaptic delays. Technical Contributions Developed SENMap for multi-objective data-flow mapping Created SENSIM simulator for multi-core neuromorphic systems Investigated 3D stacking for memory-dominated architectures Explored temporal sparsity in event-based processing

Stefano Markidisمشاهده پروفایل

استاد

• High-Performance Computing
• Heterogeneous Systems
• Quantum Computing
• +۳ مورد دیگر

Stefano Markidis is a Professor of Computer Science specializing in high-performance computing systems at KTH Royal Institute of Technology in Sweden. He works in the Division of Computational Science and Technology, focusing on supercomputers, quantum computers, and computational methods for scientific simulations. His research spans multiple domains including plasma physics, computational fluid dynamics, and quantum computing. Markidis holds an MS degree from Politecnico di Torino and a PhD in Nuclear Engineering from the University of Illinois at Urbana-Champaign. Prior to joining KTH, he was a graduate research assistant at Los Alamos National Laboratory and Lawrence Berkeley National Laboratory, followed by a postdoc at KU Leuven. His academic journey reflects a strong foundation in both engineering and computational science. His primary research interests include High-Performance Computing , Heterogeneous Systems , and Quantum Computing . Markidis develops computational methods for plasma physics, particle-in-cell simulations, and fluid dynamics. His work bridges theoretical physics and practical computing, with applications in space physics, fusion energy, and materials science. He is particularly known for contributions to parallel computing, GPU acceleration, and the development of scalable simulation frameworks like Neko for computational fluid dynamics. His research increasingly integrates machine learning techniques with traditional numerical methods. Analysis of Markidis' recent publications reveals a strong focus on quantum-classical hybrid computing, advanced particle-in-cell methods, and high-fidelity computational fluid dynamics. His work demonstrates expertise in programming models for heterogeneous architectures including GPUs and quantum processors, with growing emphasis on AI-enhanced scientific computing. R&D100 award (2005) for the CartaBlanca project R&D100 award (2017) for the SHIELDS project Markidis teaches multiple courses at KTH including Applied GPU Programming, Quantum Computing for Computer Scientists, and High-performance Computing for Computational Scientists. He has supervised numerous degree projects across various specializations in computer science and electrical engineering. His research has been supported by various grants related to high-performance computing and quantum technologies, with applications spanning from space physics to medical treatments. Markidis leads research in computational science with a focus on developing frameworks like Neko for extreme-scale computational fluid dynamics. His team works on integrating traditional HPC methods with emerging technologies including quantum computing and AI, contributing to advancements in scientific simulation across multiple disciplines.

Sidi Mohamed Beillahiمشاهده پروفایل

مدرس

• Formal Verification
• Programming Languages
• Smart Contracts
• +۴ مورد دیگر

Sidi Mohamed Beillahi is a Lecturer in the Department of Computer Science at the University of Toronto's Faculty of Arts and Science. He teaches courses including Principles of Programming Languages (CSC324H1S) and Algorithms and Data Structures (ECE345H1F). Previously, he served as a Teaching Assistant at both University of Paris and Concordia University for courses ranging from Automata Theory to Hardware Functional Verification. Dr. Beillahi's research focuses on developing formal verification and programming languages techniques to ensure the correctness of software systems, particularly distributed systems, concurrent programs, blockchain, and smart contracts. His work bridges theoretical computer science with practical security applications in decentralized finance. His publication record shows a clear progression from quantum circuit verification during his Master's to blockchain and smart contract security in his doctoral and postdoctoral work. Recent publications demonstrate expertise in authenticated data structures for blockchain storage, flash loan attack analysis, and formal verification of decentralized applications. Scientific Awards: ACM SIGSOFT Distinguished Paper Award (ICSE '24) ICBC Distinguished Paper Award (ICBC '22) Dr. Beillahi has advised multiple research projects in blockchain security and verification, often collaborating with Professor Fan Long and Professor Andreas Veneris at the University of Toronto. His research has been supported by prestigious fellowships including an NSERC Postdoctoral Fellowship and a Mitacs Accelerate Fellowship.

• Power Electronics
• Semiconductor Devices
• Analog Circuit Design
• +۳ مورد دیگر

Prof. Dr. Ertugrul Sönmez serves as Professor in the Faculty of Engineering at Reutlingen University, leading the Semiconductor Circuit Technology Lab. His research focuses on power electronics innovation through semiconductor circuit design, analog systems, and advanced converter topologies. Contact details include email ertugrul.soenmez@reutlingen-university.de and office location in Building 4, Room 213. His work centers on power conversion systems with emphasis on GaN-based technologies , wireless power transfer , and active damping techniques . Key interests include delta-sigma modulation for multilevel converters, dV/dt filter design for motor drives, and high-frequency operation using wide-bandgap semiconductors. Research addresses critical industry challenges in electric vehicle charging, renewable energy integration, and industrial motor control systems. Recent publications (2022-2024) reveal strong focus on modular converter architectures and stability enhancement techniques. His work bridges theoretical control concepts with practical implementation, frequently appearing in top industry conferences like PCIM Europe. Collaborative projects with colleagues such as Gernot Schullerus demonstrate cross-disciplinary approaches to power electronics challenges. Through the Semiconductor Circuit Technology Lab, Prof. Sönmez provides hands-on research opportunities in semiconductor characterization and circuit synthesis. The lab supports student projects including bachelor's/master's theses and industry-collaborative initiatives like ArduSmartPilot. His consistent publication output indicates active supervision of graduate research in power electronics design and implementation.

• Computational Electromagnetics
• Electrical Machines
• Finite Element Analysis
• +۴ مورد دیگر

Professor Andrzej Demenko is a distinguished academic at Poznań University of Technology, where he holds a position in the Institute of Electrical Engineering and Industrial Electronics within the Faculty of Automatic Control, Robotics and Electrical Engineering. He serves as Chairman of the Committee on Electrical Engineering of the Polish Academy of Sciences, demonstrating his significant standing in the national academic community. His career spans several decades, beginning with his doctoral dissertation in 1975 on modeling magnetic circuits of electrical machines using potential field analyzers. Professor Demenko's research focuses on computational electromagnetics, electrical machine analysis and design, finite element methods, and power system safety. His work particularly emphasizes permanent magnet synchronous motors, field-circuit coupling approaches, and electromagnetic phenomena in nonlinear circuits. He has made significant contributions to understanding squirrel cage design in motors, temperature effects on motor performance, and the development of numerical methods for electromagnetic field calculations. Analysis of his recent publications (2015-2024) reveals a continued focus on advanced electrical machine design, particularly permanent magnet synchronous motors, with increasing attention to optimization techniques, thermal effects, and control strategies. His work consistently combines theoretical developments with experimental validation, demonstrating practical relevance alongside theoretical rigor. Professor Demenko has supervised five doctoral dissertations to completion and has reviewed numerous others, indicating his commitment to academic mentorship. His publication record is substantial, with 65 articles, 61 book chapters, and 11 books or edited volumes spanning several decades of research. As an active researcher, Professor Demenko continues to contribute to the field through ongoing projects, editorial work for international conferences like the Electromagnetic Phenomena in Nonlinear Circuits (EPNC) symposium series, and collaborations with researchers worldwide. His work bridges theoretical developments in computational electromagnetics with practical applications in electrical machine design and power system safety.

Klaus von Gleissenthallمشاهده پروفایل

استادیار

• Programming Languages
• Security
• Systems
• +۳ مورد دیگر

Klaus von Gleissenthall is a tenured Assistant Professor in Computer Science at Vrije Universiteit Amsterdam, affiliated with the Theory Group and VUSec security lab. He holds a joint appointment with CWI's Computer Security group. Previously, he was a post-doc at UCSD and completed his PhD at TUM under a Microsoft Research scholarship. His research integrates programming languages , security , and systems to develop formally verified, low-overhead solutions for hardware/software correctness. Key focus areas include: Side-channel attack mitigation via leakage contracts Refinement-type systems for hardware verification Byzantine fault tolerance in distributed systems Publications demonstrate strong emphasis on hardware security (45% of recent papers), formal methods (30%), and distributed systems (25%), with consistent appearances in top-tier venues (S&P, CCS, OOPSLA). Awards & Honors: ERC Starting Grant (€1.5M, 2024) Intel Hardware Security Award Honorable Mention (2020, 2024) Distinguished Paper Awards: CCS'23, OOPSLA'23, POPL'21 He advises four PhD students and two post-docs, supported by his ERC grant. Current projects include refinement types for hardware and pre-silicon leak detection. His lab collaborates with VUSec and CWI, focusing on scalable verification tools like LLVM Blade and methodologies for constant-time execution guarantees.

Azad Siahmakounمشاهده پروفایل

استاد

• Optics
• Photonics
• Micro-Electro-Mechanical Systems (MEMS)
• +۷ مورد دیگر

Dr. Azad Siahmakoun is Professor of Physics and Optical Engineering at Rose-Hulman Institute of Technology, serving as Founding Director of Micro-Nanoscale Devices & Systems Facilities, Associate Dean of Faculty, and Director of Graduate Studies. His $6.4 million in research funding from federal/state agencies and industry supports state-of-the-art facilities including the MiNDS Cleanroom and RF Photonics Laboratory. Educational Background: PhD in Physics, University of Arkansas (1987) MS in Physics, Texas A&I University (1981) BS in Physics, Joundi Shapoor University (1978) His research integrates photonics, MEMS, and nanotechnology with emphasis on silicon photonics, optical data conversion, and beamforming systems. Work spans plasmonic nanostructures, photorefractive materials, and chaotic systems, advancing both fundamental science and practical applications in optical engineering and signal processing. Publication analysis reveals sustained focus on photonic data converters (2015-2009), with earlier work on optical beamforming (2005-2003) and nanophotonic materials (2008-2002). The corpus demonstrates consistent innovation in microwave photonics, optical signal processing, and MEMS fabrication across four decades. Key recognitions include: Board of Trustees Outstanding Scholar Award (1999) SPIE Fellow (2009) ONR Senior Fellow (2007) OSA Senior Member Dr. Siahmakoun has mentored over 100 undergraduate researchers and dozens of master's students. His $6.4 million in grants enabled establishment of critical research infrastructure at Rose-Hulman, supporting both educational and industrial collaboration initiatives. He directs three core facilities: Micro-Nano Device and Systems (MiNDS) lab for nanofabrication, Nonlinear Optics lab for fundamental photonics research, and Center for Applied Optics Studies for industry-relevant optical engineering development.

Minxue Panمشاهده پروفایل

استاد

• Software Modelling and Verification
• Software Analysis and Testing
• Cyber-Physical Systems
• +۵ مورد دیگر

Minxue Pan is a Professor and PhD supervisor at the Software Institute, State Key Laboratory for Novel Software Technology, Nanjing University, China. His research focuses on the dependability of complex software systems, with expertise spanning software modeling and verification, software analysis and testing, cyber-physical systems, mobile computing, and intelligent software engineering. Ph.D. in Computer Science and Technology from Nanjing University (2014), supervised by Prof. Xuandong Li B.Sc. from Nanjing University Studied at UC Berkeley's Department of Electrical Engineering and Computer Sciences (2009-2010) under Prof. Edward A. Lee Professor Pan's research interests center on improving software dependability through innovative approaches to modeling, analysis, and testing. His work spans traditional software systems, mobile applications (particularly Android), cyber-physical systems, and the application of AI techniques to software engineering problems. He has made significant contributions to GUI testing, vulnerability detection, and deep learning applications in software engineering. His recent publications (2024-2025) demonstrate a strong focus on applying advanced machine learning techniques to software testing and security challenges. Key trends include leveraging large language models for test migration, enhancing fault localization with graph learning and contrastive learning, developing specialized frameworks for Android security analysis, and improving test efficacy through GUI and functional equivalence. His work consistently targets real-world industrial settings and addresses practical challenges in mobile and complex software systems. ISSTA 2020 Distinguished Paper Award ICSE 2025 Best Artifact Award Professor Pan actively advises graduate students and has developed several notable tools including Q-testing (reinforcement-learning based Android testing), ISDChecker (model checking for interrupt-driven systems), PREFEST (preference-wise testing for Android), Sketchoid (GUI code search), and PI-REC (hand-drawn draft conversion). His research is supported by extensive publication records in top-tier software engineering venues including ASE, ICSE, FSE, ISSTA, and TOSEM. He teaches undergraduate courses in Advanced Programming with C++, Software System Design, and Software Construction, as well as graduate courses in Advanced Software Design. His laboratory work focuses on developing practical solutions for real-world software dependability challenges through the State Key Laboratory for Novel Software Technology.