جستجوی استاد راهنمای دانشگاهی

Benjamin Uekermannمشاهده پروفایل

استادیار

• Computational Science
• Multiphysics Simulation
• Parallel Computing
• +۳ مورد دیگر

Benjamin Uekermann is a Jun.-Prof. (Assistant Professor) at the University of Stuttgart's Institute for Parallel and Distributed Systems (IPVS), part of the Faculty of Computer Science, Electrical Engineering, and Information Technology. His work focuses on sustainable simulation software ecosystems , particularly advancing the preCICE coupling library for multi-physics and multi-scale simulations. He leads research in partitioned simulation coupling , reproducible software practices, and high-performance computing tools. His research interests include Parallel computing and distributed systems Numerical methods for coupled PDE-based simulations Scientific software sustainability and open-source frameworks Data-driven adaptive algorithms Validation and testing of simulation ecosystems Recent work emphasizes reproducibility via NixOS integration, user-friendly tools like MetaConfigurator and ASTE, and multi-X coupling across scales and physics domains. His preCICE library enables seamless integration of solvers like OpenFOAM and FEniCS for fluid-structure interaction, CFD/CSD, and thermohydraulics. Key contributions include scalable radial-basis interpolation methods, quasi-Newton acceleration schemes, and geometric multi-scale coupling frameworks. He actively develops educational materials on open-source scientific computing and advocates for sustainable research software practices.

Isaac Penceمشاهده پروفایل

استادیار

• Translational Biophotonics
• Raman Spectroscopy
• Medical Device Development
• +۳ مورد دیگر

Dr. Isaac Pence is an Assistant Professor at UT Southwestern Medical Center's Department of Biomedical Engineering, with secondary appointments in Internal Medicine and the Charles and Jane Pak Center for Mineral Metabolism. He also holds an Adjunct Assistant Professor role at UT Dallas' Bioengineering Department. His research focuses on developing optical tools for non-invasive disease characterization and therapeutic monitoring, integrating biophotonics, computational analysis, and clinical medicine. Dr. Pence's work includes advancements in Raman spectroscopy for drug distribution analysis, tissue engineering, and cryoneurolysis devices for pain management. He completed his PhD at Vanderbilt University and postdoctoral training at Imperial College London and Harvard Medical School. Research interests span label-free quantitative tissue mapping, translational biophotonics, and biomarker heterogeneity analysis. His lab develops clinical instruments such as portable Raman systems for in vivo imaging and theranostic platforms. Recent work addresses pelvic organ prolapse via ECM composition analysis and cryotherapy device innovation. Collaborations include UT Dallas and the Texas Instruments Biomedical Engineering and Sciences Building. Key projects include Raman-guided surgical tools, nanocarrier design, and extracellular vesicle biomarker detection. His contributions have led to funded grants and patents, though specific award names are not listed. The Pence lab actively trains graduate students and postdocs in biophotonics and biomedical engineering.

Paul Popمشاهده پروفایل

استاد

• Embedded Systems
• Systems Engineering
• Time-Sensitive Networking
• +۷ مورد دیگر

Paul Pop is a Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark (DTU). He holds the position of Professor within the Embedded Systems Engineering group at DTU Compute. His academic journey includes a Ph.D. in Computer Systems from Linköping University, Sweden (2003), followed by roles as an Assistant Professor there before joining DTU in 2006. Dr. Pop's research focuses on systems engineering methodologies for embedded and cyber-physical systems, with emphasis on modeling, analysis, optimization, and real-time guarantees. His work addresses challenges in time-sensitive networking (TSN), automotive systems, industrial automation, and fog computing. Key application areas include safety-critical systems, mixed-criticality architectures, and sustainable industrial IoT solutions aligned with UN SDGs. He leads major research projects such as G3C (Green Computing & Communication Continuum), TRANSACT (Safety-Critical Cyber-Physical Systems), and AgroRobottiFleet (Agricultural Robotics). His contributions span 194 publications in journals/conferences and 31 active/completed projects, emphasizing interdisciplinary collaboration. Dr. Pop advises doctoral students in embedded systems and serves as Principal Investigator on EU-funded initiatives. His technical expertise includes TSN configuration tools (TSNConf), fog computing platforms (FORA), and microfluidic biochip design. He actively contributes to industry standards through IEEE 802.1 TSN working groups and collaborates internationally with institutions like Nordic Innovation and EU Horizon programs.

• Health Informatics
• Fraud Detection
• Cybersecurity
• +۶ مورد دیگر

Dr. Fletcher Lu is an Associate Professor in the Department of Information Technology at the Faculty of Business and Information Technology, Ontario Tech University. His academic journey includes a PhD in Artificial Intelligence (specializing in Machine Learning) and a Master of Mathematics in Scientific Computation, both from the University of Waterloo. He also holds a Bachelor of Math in Computer Science from the same institution. His postdoctoral research at the Canadian Institute of Chartered Accountants (CIAC) focused on insurance fraud detection. His education includes: PhD in Artificial Intelligence, University of Waterloo Master of Mathematics in Scientific Computation, University of Waterloo Bachelor of Math in Computer Science, University of Waterloo Dr. Lu’s research interests span health informatics, fraud detection (including cybercrime and insurance fraud), and the application of machine learning and numerical analysis to business and health challenges. He has developed mobile technology applications to improve youth fitness and pioneered adaptive fraud pattern analysis in health insurance data. His work intersects with cybersecurity, data analytics, and gaming, emphasizing real-world collaborations with organizations such as Manulife Financial, the Canadian Department of National Defence, and Medavie Blue Cross. His recent publications highlight trends in supply chain resilience, optimization methodologies, and disruption risk analysis. These include studies on EV infrastructure planning, stochastic distribution networks, and Benders decomposition strategies for reliable systems design. Dr. Lu has received significant awards, including: First place at CORS 2014 Practice Prize Third place at INFORMS 2013 interactive poster sessions His research has been funded by the National Science Foundation, Ontario Partnership for Innovation and Commercialization, and NSERC. He is affiliated with the Business Analytics & AI Research Group, contributing to decision-making systems and data-driven solutions for business and health sectors.

Thomas A. Runklerمشاهده پروفایل

استاد مدعو

• Machine Learning
• Data Analytics
• Pattern Recognition
• +۳ مورد دیگر

Thomas A. Runkler is an Adjunct Professor at the Technical University of Munich (TUM), holding a Chair in the Foundations of Software Reliability and Theoretical Computer Science within the TUM School of Computation, Information and Technology. Since 1999, he has taught computer science at TUM while concurrently serving in various expert and managerial roles at Siemens AG, where he currently holds the position of Senior Principal Research Scientist. His academic journey includes a Master’s and PhD in electrical engineering from TU Darmstadt (1992/1995), followed by postdoctoral research at the University of West Florida (1996–1997). Runkler’s research spans machine learning , data analytics , fuzzy systems , and optimization . He has authored/co-authored over 200 publications, focusing on topics like clustering algorithms, neural networks, and decision-making frameworks. Professional contributions include leadership roles in organizations such as the IEEE CIS committees and the German Association for Computer Science’s Fuzzy Systems group. His teaching includes courses on Data Mining and Knowledge Discovery . Key publications include foundational works on fuzzy preference structures, Bayesian decomposition of dynamical systems, and interpretable reinforcement learning policies. Runkler’s work bridges academia and industry, emphasizing practical applications in automation, recommendation systems, and industrial procurement forecasting. His research often addresses challenges in uncertainty handling, algorithm design, and scalable data analysis.

Akos Ledecziمشاهده پروفایل

استاد

• Computer Science Education
• Wireless Sensor Networks
• Model Integrated Computing
• +۳ مورد دیگر

Akos Ledeczi is a Professor of Computer Science and Electrical and Computer Engineering at Vanderbilt University's School of Engineering. His research focuses on computer science education and wireless sensor networks (WSN) , with notable contributions to visual programming tools like NetsBlox and anti-poaching systems like WIPER. He holds a Ph.D. from Vanderbilt University and a Diploma from the Technical University of Budapest. His education initiatives include the NetsBlox platform for K-12 STEM education and a popular Coursera MOOC on introductory programming. In WSN, his team developed a countersniper system with real-time shooter localization and a wearable system for military applications. He is also a leader in Model Integrated Computing , creating tools like the Web-based Generic Modeling Environment. Recent work includes NSF-funded projects on cybersecurity education in middle schools and animal-borne acoustic monitoring. His awards include the ACM SenSys Test of Time Award (2014) and the Best Showpiece Award at IEEE VL/HCC (2021). Key grants and collaborations span NSF projects, Vodafone innovation programs, and the Cyber Makerspace initiative. His lab develops tools like DeepForge and RoboScape Online , emphasizing open-source and collaborative platforms. Students supervised include Devin Jean (K-12 tools), Gordon Stein (robotics simulations), and Brian Broll (NetsBlox extensions).

Suruz Miahمشاهده پروفایل

دانشیار

• Cyber-Physical Systems
• Optimal Control and Estimation
• Multi-Agent Systems
• +۳ مورد دیگر

Suruz Miah is an Associate Professor in the Department of Electrical and Computer Engineering at Bradley University and an Adjunct Professor at the University of Ottawa's School of Electrical Engineering and Computer Science. He holds a B.Sc. from Khulna University of Engineering & Technology (Bangladesh) and M.A.Sc./Ph.D. degrees from the University of Ottawa. His research focuses on Cyber-Physical Systems, Optimal Control, Multi-Agent Systems, and RFID Technology. He has held roles including Visiting Associate Professor at Hosei University (Japan), Visiting Research Fellow at DRDC Canada, and Part-Time Professorships at multiple institutions. Education: B.Sc., Computer Science and Engineering, Khulna University of Engineering & Technology (2004) M.A.Sc. and Ph.D., Electrical and Computer Engineering, University of Ottawa (2007, 2012) Research Interests: Dr. Miah specializes in Cyber-Physical Systems, including autonomous robotics, multi-agent coordination, optimal control, and machine learning applications. He leads projects on mobile robot navigation, energy management systems, and RFID-based localization. His work bridges theoretical control systems with practical implementations in robotics and industrial automation. Advising & Collaborations: Advised/co-authored over 20+ student research projects, focusing on reinforcement learning, multi-agent systems, and robotics. Collaborates with institutions like DRDC Canada, Bradley University's Cyber-Physical Systems Lab, and University of Ottawa's MIRaM Lab. Developed open-source frameworks like MAFOSS (Multi-Agent Framework using Open-Source Software) and BEMOSS (Building Energy Management System). Labs & Teams: Principal Investigator at Bradley's Cyber-Physical Systems Lab. Research member of the Machine Intelligence, Robotics, and Mechatronics (MIRaM) Lab at the University of Ottawa.

Sonja Bucheggerمشاهده پروفایل

استاد

• Privacy-Preserving Technologies
• Data Security
• Decentralized Systems
• +۳ مورد دیگر

Sonja Buchegger is a Professor at the Division of Theoretical and Computer Science at KTH Royal Institute of Technology. She serves as Co-PI of the DataLEASH research project (Learning and Sharing under Privacy constraints) and is affiliated with the Digital Futures Faculty, a cross-disciplinary center focused on digital technologies and societal challenges. Her work addresses privacy-preserving technologies in decentralized systems, IoT, and secure communication. Research Interests: Privacy-Preserving Technologies Data Security and Synthetic Data Generation Decentralized Systems and Cryptographic Protocols IoT Privacy and Ownership Management Secure Communication in Social Networks Key Projects: DataLEASH: Focuses on privacy constraints in data sharing and learning chownIoT: Enhances IoT privacy during ownership transfers Anonfaces: Anonymization of facial data with efficacy and security constraints Advising & Grants: As Co-PI of DataLEASH, she leads collaborative research on privacy challenges. Her work is supported by Digital Futures' interdisciplinary initiatives. Labs/Teams: Active contributor to Digital Futures' research on digital technologies and societal impact.

Colleen Pattonمشاهده پروفایل

استادیار

• Human-Automation Interaction
• Decision Making
• Attention
• +۳ مورد دیگر

Dr. Colleen Patton is an Assistant Professor in the Department of Psychology at North Carolina State University's College of Humanities and Social Sciences. She directs the CHAT Lab (Cognition, Human-Automation, and Technology) where research focuses on human-automation interaction, particularly operator perceptions and decisions regarding automation use. Current research examines: 1) Evidence accumulation in automation adoption decisions, 2) Effects of error types on reliability estimates, 3) Set size impacts in dynamic decision-making, and 4) Detection of hostile intentions through spatial movements. Applications span military contexts, industrial systems, and emerging AI technologies.

Mahmoud Alfadelمشاهده پروفایل

استادیار

• Software Ecosystems
• Software Releases
• Build Systems
• +۵ مورد دیگر

Mahmoud Alfadel is an Assistant Professor in the Department of Computer Science at the University of Calgary, Faculty of Science. His research focuses on software ecosystems, build systems, security vulnerabilities, and mining software repositories. He holds a PhD in Software Engineering from Concordia University (2021), an M.S. from KFUPM (2017), and a B.S. from Damascus University (2013). Education: Bachelor of Science in Information Technology, Damascus University (2013) Master of Science in Software Engineering, King Fahd University of Petroleum and Minerals (KFUPM, 2017) Doctor of Philosophy (Ph.D.) in Software Engineering, Concordia University (2021) His research emphasizes empirical studies in DevOps practices, continuous integration, and software security. Recent work explores vulnerability lifecycle analysis in Golang, fuzz testing adoption in open-source projects, and dependency-induced waste in CI pipelines. His publications reflect a focus on improving software quality and security through automated tools and empirical analysis. Awards and Grants: No specific awards or grants are listed in the profile. His work is supported through empirical studies and academic collaborations. Advising and Labs: No student advisees or specific lab affiliations are noted in the provided materials. His research is likely conducted through collaborative projects with students and industry partners.

Benjamin C. Pierceمشاهده پروفایل

استاد

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

Benjamin C. Pierce is Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania, with appointments in the School of Engineering and Applied Science. A Fellow of the ACM, his research spans programming languages, formal verification, and security-privacy technologies. He directs the DeepSpec project on verified systems infrastructure and leads climate computing initiatives. Research interests focus on: Formal methods for reliable software via proof assistants like Coq Bidirectional programming and data synchronization Language-based security and differential privacy Publication trends show consistent contributions to type theory foundations, with recent emphasis on property-based testing methodologies and real-world verification. Articles frequently appear in top PL/SEC venues with practical applications in compilers and secure systems. Scientific Awards: ACM Fellow (systems verification) SIGPLAN Distinguished Educator Award (textbook innovations) Advises graduate students through the Penn PL Club. PI for NSF Expeditions in Sustainable Computing. Leads the VERSE project for verified C code and Unison file synchronizer. Directs the Penn Programming Languages Research Group collaborating with industry partners including Amazon and Microsoft Research.

Assia Mahboubiمشاهده پروفایل

پژوهشگر

• Formal Methods
• Type Theory
• Interactive Theorem Proving
• +۱۲ مورد دیگر

Assia Mahboubi is a tenured researcher at Inria in the Gallinette team , Nantes, France, and an endowed professor in the Algebra and Number Theory section at Vrije Universiteit Amsterdam , Netherlands. Her work bridges formal methods, type theory, and computer-aided mathematics. Research Interests: Her research centers on the formalization of mathematics in dependent type theory and the automated verification of mathematical proofs. She is particularly interested in the interplay between computer algebra and formal proofs, and in how formal representations enhance understanding of mathematical objects. She is a lead developer of the Mathematical Components libraries and a key user of the Coq proof assistant. Recent Research Trends: Her recent publications focus on diagram chasing in category theory, continuity in constructive type theory, proof transfer mechanisms (e.g., Trocq), and the formal verification of advanced mathematical results such as the irrationality of ζ(3) and the unsolvability of the quintic. These works demonstrate a consistent emphasis on foundational rigor, automation, and scalability in formal proofs. ERC Consolidator Grant: FRESCO (Fast and Reliable Symbolic Computation) Advising and Grants: Mahboubi supervises PhD students including Enzo Crance, Martin Baillon, and postdoc Matthieu Piquerez. She leads the FRESCO project funded by an ERC grant, supporting research in symbolic computation and formal verification. Team Affiliation: She is a core member of the Gallinette team at Inria, which focuses on the intersection of proofs and programs, promoting the development of reliable and verifiable software and mathematical systems.

• Security
• Embedded Systems Security
• Cyber-Physical Systems Security
• +۱۳ مورد دیگر

Francesco Regazzoni is a Senior Researcher at the Faculty of Informatics, Università della Svizzera italiana (USI), and affiliated with the Dalle Molle Institute for Artificial Intelligence (IDSIA USI-SUPSI). His work bridges embedded systems, cybersecurity, and artificial intelligence, with a focus on securing hardware and cyber-physical systems. Research Interests: His expertise spans embedded and cyber-physical systems security, side-channel attacks, post-quantum cryptography, hardware trojans, random number generators, and the security of AI and approximate computing. He also contributes to hardware/software co-design and operating systems security. The analysis of his recent publications reveals a consistent focus on hardware and system-level security , particularly in resource-constrained environments like IoT and embedded devices. His work integrates machine learning for attack detection and applies formal methods to ensure trust in hardware. A growing emphasis is placed on securing AI systems from physical and adversarial threats. Scientific Contributions: Over 100 peer-reviewed publications One book and one patent Extensive international collaboration (Belgium, Netherlands, USA, Switzerland, Singapore) Advising and Grants: While specific advisees and grants are not listed, his leadership in funded research projects and involvement with ALaRI and IDSIA suggest active mentorship and project coordination. His work has been supported by industry (e.g., ST Microelectronics, HP), the Swiss National Foundation, and the European Union. Labs and Teams: He is part of the Graph Machine Learning Group (GMLG) at IDSIA, which evolved from the Advanced Learning and Research Institute (ALaRI). This group focuses on graph machine learning, reinforcement learning, and dynamical systems, particularly in non-stationary environments.

Hakima CHAOUCHIمشاهده پروفایل

استاد

• Internet of Things (IoT)
• Wireless Networks
• Mobile Computing
• +۵ مورد دیگر

Professor Hakima CHAOUCHI is affiliated with Telecom SudParis, part of the NeSS group. Her primary research focuses on Internet of Things (IoT), wireless networks, RFID technology, and cyber-physical systems. She has contributed extensively to advancements in IoT infrastructure, localization techniques, and network security. Research interests include IoT architecture, RFID-enabled systems, distributed edge computing, and energy-efficient protocols. Her work spans topics like anomaly detection in IoT data, resilient cyber-physical systems, and resource allocation in 5G networks. Key contributions include the PrIoT project for IoT prototyping, studies on dynamic resource allocation in HetNets, and frameworks for mobile cloud computing privacy. She has authored multiple books and book chapters on IoT and wireless networks, including The Internet of Things: Connecting Objects to the Web . Her publications emphasize practical applications like industrial autonomous systems, vehicular networks, and edge AI integration. She collaborates actively with industry and academia, contributing to standards like MIH-IEEE 802.21 and security protocols for mobile networks.

Bestoun S. Ahmed Al-Beywaneeمشاهده پروفایل

استاد

• Quality Assurance of Machine Learning Systems
• Software Testing
• Trustworthy AI Systems
• +۵ مورد دیگر

Bestoun S. Ahmed Al-Beywanee is a Professor in AI and Software Engineering at the Department of Mathematics and Computer Science, Karlstad University, Sweden. He joined the university as a Senior Lecturer in 2019, was promoted to Associate Professor in 2020, and to Professor in 2023. His roles include teaching advanced courses such as AI Engineering, Automated Software Engineering, and Software Testing Fundamentals. His research focuses on software quality assurance, trustworthy AI systems, and MLOps, with a strong emphasis on combinatorial testing, IoT systems, and applied optimization techniques. Education: BSc (Electrical and Electronic Engineering, University of Salahaddin-Erbil, 2004); MSc (University Putra Malaysia, 2009); PhD (Software Engineering, University Sains Malaysia, 2012). Postdoctoral research at the Swiss AI Lab IDSIA (2015) and positions at Salahaddin University and Czech Technical University further enriched his expertise. Research interests span Quality Assurance of machine learning systems, software testing methodologies, trustworthy AI, IoT system reliability, and optimization algorithms. He has pioneered frameworks like PatrIoT for IoT testing and contributed to MLOps robustness. His work integrates machine learning with anomaly detection, adaptive systems, and industrial applications. Recent articles highlight advancements in data-driven heat pump management, MLOps robustness, and edge-cloud AR/VR optimization. Collaborations include projects on digital twins, smart manufacturing, and industrial IoT. His contributions bridge theoretical research with practical industrial solutions, emphasizing system reliability and AI ethics.